isEasierThan

3 triples
GPTKB property

Random triples
Subject Object
gptkb:Horn-SAT general SAT
gptkb:2-SAT gptkb:3-SAT
gptkb:3-satisfiability general SAT (in terms of clause length)