Assertion: clique's size | /r/HasProperty | ≤ b
Facets:
Source sentences:
text: Therefore G has a vertex cover of size ≤ b if and only if it has a clique of size ≥ | V