is often idealized in

8 triples
GPTKB property