Assertion: argument's function | /r/HasProperty | applied to second argument
Facets:
value: etc
type: OTHER
Source sentences:
text: Function application is left-associative in these languages as well as in lambda calculus, so what looks like an application of a function to multiple arguments is correctly evaluated as the function applied to the first argument, then the resulting function applied to the second argument, etc.