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