not equivalent to

13 triples
GPTKB property