is the Levi graph of

2 triples
GPTKB property