decides cases involving

5 triples
GPTKB property