Assertion: clique's vertex | /r/MadeOf | all of x
Facets:
Source sentences:
text: G is a clique X of vertices of G, such that there is no clique Y of vertices of G that contains all of X and at least one other vertex.