First-Order Language with Any-Arity Innards

Modeling arguments in natural language by restricting ourselves to unary (monadic) predicates goes only so far. We go further in this chapter to examine what is sometimes called a polyadic first-order language.