first formulated by

4 triples
GPTKB property