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