is group of symmetries of

1 triples
GPTKB property