Assertion: label | /r/HasProperty | inside block
Facets:
Source sentences:
text: Labels can be inside or outside blocks, above or below and the scope of the label is the whole program.