has simple subgroup

1 triples
GPTKB property