mathematical structure

11 triples
GPTKB property