is a theorem that has implications for

8 triples
GPTKB property