can be knocked out by

8 triples
GPTKB property