Assertion: concept's condition | /r/HasProperty | encountered
Facets:
Source sentences:
text: The substitution and semantic constraint checking proceeds in lexical order and stops when a condition that determines the result of the requires-expression is encountered.