number of models

13 triples
GPTKB property