Assertion: queue's element | /r/HasProperty | = a[i+1
Facets:
Source sentences:
text: all other elements { a[i] = a[i+1]; tail--; }