can be established by

4 triples
GPTKB property