Predicate/Examples
Jump to navigation
Jump to search
Examples of Predicates
Favourite Music
The string Prime.mover is a constant.
The statement:
- $x$ is one of Prime.mover's favourite pieces of music