Identifiers and strings


Identifiers can be predefined as instances in instantiation rules (with =), but need not be.

For example, the instances "See", "Run", and "Sleep" can all be defined to be instances of the type "Act":

Act = See, Run, Sleep.

To use one of these, simply write them in a concept after the colon:

[Act: See]


A referent can also be a string:

[Act: Say]-THME->[Utterance: "Romeo, Romeo, wherefore art thou Romeo?"]

PrevLite: 4.3.2 Referents
NextLite: Variables

Prev: 4.3.2 Referents
Up: 4.3.2 Referents
Next: Variables