Assertion: lottery's number | /r/HasProperty | drawn among the three groups
Facets:
Source sentences:
text: We can confirm this by considering the possible distributions of the 5 numbers drawn among the three groups, and observing that there are always two groups that contain either all 5 or 4 of the 5 numbers drawn.