is a simple Lie group

7 triples
GPTKB property