is known for his critical evaluation of

2 triples
GPTKB property