Assertion: label | /r/ObjectUse | used as place
Facets:
value: to branch
type: TRANSITIVE-OBJECT
value: to with a goto statement
type: MANNER
Source sentences:
text: The number 10 is used to indicate the last line of the DO loop, and the label is used as place to branch to with a goto statement.