have different beliefs than

4 triples
GPTKB property