Assertion: pascal's argument | /r/HasProperty | checked for instance
Facets:
Source sentences:
text: For instance, arguments to functions and procedures are checked for proper type matching.