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