boxer2

10 triples
GPTKB property