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