Assertion: cursor | /r/HasProperty | closed at the end of compound statement
Facets:
Source sentences:
text: If it is not closed explicitly then a cursor is closed at the end of compound statement in which that was declared.