Assertion: queue's number | /r/HasProperty | true
Facets:
value: always
type: DEGREE
Source sentences:
text: That arrivals and departures always see the same number of customers is always true as is shown in the next proposition.