Assertion: arrow | /r/AtLocation | instant i
Facets:
Source sentences:
text: p such that the arrow is located at p at every instant i) -