examined consequences of

5 triples
GPTKB property