formalized by

19 triples
GPTKB property