Assertion: vertex clique | /r/CapableOf | represent consistent ways
Facets:
Source sentences:
text: If k denotes the number of clauses in the CNF formula, then the k-vertex cliques in this graph represent consistent ways of assigning truth values to some of its variables in order to satisfy the formula.