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