can be formed by

7 triples
GPTKB property