was a conclusion of

9 triples
GPTKB property