Assertion: label | /r/HasAspect | scope
Facets:
Source sentences:
text: Labels could have scope (similar to how variables have scope) when the language has a block structure.
text: In Pascal variables have normal scope, but labels also have the same scope.
text: Do we want labels to have scope?