The form R←Xf⌿Y implies N-Wise reduction along the first axis of Y. See Reduce N-Wise.