is the Lie algebra of

4 triples
GPTKB property