is affirmed in

2 triples
GPTKB property