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