The first type comprises reserved words (analogous to reserved words in a programming language), which are as follows:
- In Mt
- Default Mt
- Truth Value (or TV)
- Direction (or D)
The syntax for all reserved words except Enter, Delete, and Rename is the same. Each reserved word is followed by a colon delimiter, exactly one data object, and a period. That is, the form of a reserved word expression in KE Text syntax is:
Note that reserved word directive names are not case-sensitive. For example, “constant” works just as well as “Constant”.
Enter and Delete have the following syntax:
Rename has the following syntax:
<reserved-word> <old-constant-name> .
|Special Handling for TheAssertionSentence||Home||Predicate Directives|