concerns the relationship between

2 triples
GPTKB property

Random triples
Subject Object
gptkb:P_vs_NP problems solvable in polynomial time
gptkb:P_vs_NP problems verifiable in polynomial time