 Or we could replace the subscripts above with lines that connect each pair of round brackets on the left of ‘\(=\)’ to a corresponding pair of brackets on the right. But the idea, however we encode it, is that a proposition has at least one constituent that is saturated by the requisite number of arguments.