finite types

9 triples
GPTKB property