related algebra

7 triples
GPTKB property