Summary

• Every predicate symbol comes with a single, fixed, arity.
• Every predicate is interpreted by a determinate or relation of the same arity as the predicate.
• Atomic sentences are formed by putting a predicate of arity n in front of n names, or (in the case of infix notation) by putting a binary predicate between a pair of names.
• The order of names is crucial in forming a binary predicate