Assertion: abelian group's element | /r/HasProperty | represented in each row
Facets:
value: exactly once
type: TEMPORAL
value: in each column
type: LOCATION
Source sentences:
text: Because the group is finite, the pigeonhole principle guarantees that each element of the group will be represented in each row and in each column exactly once.