is a solution of

5 triples
GPTKB property