appears in solution

4 triples
GPTKB property