2.1.3. Argument structure changes

The number of arguments in a clause can increase or decrease through some operations.