Assertion: cursor | /r/HasProperty | moved to package
Facets:
Source sentences:
text: If the cursor is moved to a package, you will have the now necessary CLOSE already in place.