compact real form

28 triples
GPTKB property