Assertion: argument's function | /r/CapableOf | apply to first argument
Facets:
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.