Assertion: bucket's capacity | /r/HasProperty | t + τ
Facets:
Source sentences:
text: The capacity of the bucket (the upper bound of the counter) is (T + τ)".