Assertion: table's element | /r/AtLocation | each row
Facets:
value: exactly once
type: TEMPORAL
Source sentences:
text: After filling these products into the table, we find that the ad and af are still unaccounted for in the a row; as we know that each element of the group must appear in each row exactly once, and that only d and f are unaccounted for, we know that ad must equal d or f; but it cannot equal d, because if it did, that would imply that a equaled e, when we know them to be distinct.