used in algorithm

3 triples
GPTKB property