Assertion: argument's function | /r/CapableOf | take first argument
Facets:
Source sentences:
text: What is thought of as functions with multiple parameters is usually represented in lambda calculus as a function which takes the first argument, and returns a function which takes the rest of the arguments; this is a transformation known as currying.