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.