solutionExistsIf

2 triples
GPTKB property

Random triples
Subject Object
gptkb:Byzantine_agreement less than one-third nodes are faulty
gptkb:Chinese_postman_problem all vertices have even degree (for undirected graphs)