Assertion: queue's size | /r/HasProperty | maxsize
Facets:
Source sentences:
text: But if, head > tail, then size = maxSize - (head - tail)