korchnoi title

5 triples
GPTKB property