A Predicate is defined as:
a mnemonic name
a human-readable description
a formal definition
A Predicate is identified by its mnemonic name which is used to refer to a given Predicate. A Predicate's mnemonic is unique throughout a given Metacosm instance. Mnemonics are user- and editor-friendly since they describe the Predicate in a very concise way.
The human-readable description expands on the mnemonic and precise what the Predicate is about.
The formal definition specifies in an unambiguous way (i.e. using a well defined grammar) what condition the Predicate checks. See the Predicate grammar section for more details.