3.2.3 Further rules

The list can have any length

Note that the list of instances can have any length, from one upwards. For example:

Animate > Unicorn, HumanBeing.

Unicorn = Gaudior.
HumanBeing = CharlesWallace, Meg, Sandy, ElZacho, Bezee, Kevin, 
             MrMortmain, Zylle, Maddox.

Each type may be listed more than once

Each type may appear on the left-hand side of an instance declaration more than once. For example, the following is allowed:

Entity > Animal.

Animal = Garfield.
Animal = Odie.


Next, we summarize this section.

PrevLite: 3.2.2 Examples
NextLite: 3.2.4 Summary

Prev: 3.2.2 Examples
Up: 3.2 Concept type instances in Prolog+CG
Next: 3.2.4 Summary