is the complexification of

4 triples
GPTKB property