Rules specify how functions and their arguments combine. The following two rule templates constitute the basis for all categorial grammars:

• $X/Y \; Y \implies X$
• $Y \; X \setminus Y \implies X$

The first rule, referred to as forward function application, applies a function to its argument on the right, while the second, referred to as backward function application, looks to the left for its argument.