is not a subgroup of

8 triples
GPTKB property