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