Assertion: block | /r/MadeOf | all the elements of the set
Facets:
Source sentences:
text: (To avoid degenerate examples, it is also assumed that v > k, so that no block contains all the elements of the set.