Assertion: expression's type | /r/AtLocation | previous example
Facets:
Source sentences:
text: In the previous example, the underlying type was Eventually.