Assertion: queue's element | /r/HasProperty | after pop
Facets:
Source sentences:
text: After a pop, the element at the front of the queue is " << i << ".