can be formed after

4 triples
GPTKB property