Assertion: expression's parameter | /r/HasProperty | given inferred type system
Facets:
Source sentences:
text: Finally, the parameter of the second anonymous function, t , is given the inferred type System.