Assertion: bucket's content | /r/HasProperty | equal
Facets:
value: to the limit value τ
type: OTHER
value: at a cell arrival
type: TEMPORAL
Source sentences:
text: If at a cell arrival the content of the bucket is less than or equal to the limit value τ, then the cell is conforming; otherwise, the cell is non-conforming.