unique up to isomorphism

5 triples
GPTKB property