Assertion: cursor's value | /r/HasProperty | true
Facets:
Source sentences:
text: If and only if the value of this expression is TRUE , the statements after LOOP execute.