was first formulated by

2 triples
GPTKB property