Assertion: variable's number | /r/AtLocation | most 1
Facets:
value: always
type: TEMPORAL
Source sentences:
text: // The number shall always be at most 1. //