Individuals¶

An individual names a value of a declared sort.

<sort name="room_type"/>
<individual name="single" sort="room_type"/>
<individual name="double" sort="room_type"/>

Both name and sort are required. The sort must be built in or declared in the ontology. Individuals are used as values in propositions and domain-query enumerations. The compiler checks and normalizes values according to the sort.