Assertion: ary function | /r/HasProperty | g 1
Facets:
Source sentences:
text: Given f, a n-ary function, and n m-ary functions g 1 , ..., g n , the composition of f with g 1 , ..., g n , is the m-ary function