Assertion: predicate | /r/HasProperty | checked with parsing of a clause
Facets:
Source sentences:
text: Although ordered, the predicates are checked first, with parsing of a clause continuing if and only if the predicate is satisfied, and semantic actions only occurring in non-predicates.