Assertion: expression's operator | /r/AtLocation | the following
Facets:
Source sentences:
text: Lifted operators are constructed from predefined and user-defined operators that meet certain requirements, as described in the following: