Assertion: upset | /r/HasProperty | mcomb_size m
Facets:
Source sentences:
text: UpSet (m[ comb_size (m) >= 4 ])