Assertion: label | /r/HasProperty | a constant
Facets:
Source sentences:
text: Pascal requires labels to be declared, but the label is a constant and can not be modified or passed as a parameter.