solved in dimension

5 triples
GPTKB property