Here is how to write the instances of one type:
Type = Instance1, Instance2, ..., InstanceN.
This rule is repeated for each type that has instances.
Next, we have a quiz
PrevLite: 3.2.3 Further rules
NextLite: 3.3 Quiz: Concept types and instances
Prev: 3.2.3 Further rules
Up: 3.2 Concept type instances in Prolog+CG
Next: 3.3 Quiz: Concept types and instances