Assertion: pascal | /r/HasProperty | nested procedures/functions
Facets:
Source sentences:
text: However, since Pascal has nested procedures/functions, jumps can be done from an inner procedure or function to the containing one; this was commonly used to implement error recovery.