Assertion: expression's term | /r/AtLocation | logic
Facets:
Source sentences:
text: Terms also appear in logic.