kasparov's match preparation

7 triples
GPTKB property