theoretical status

9 triples
GPTKB property