Argument Y, head (X\Y)/Z and argument Z combine to X In the NF derivation, the head applies first to the Z, than to Y.
it and its equivalent reformulation by Hoyt and Baldridge (2008) in a multimodal variant of CCG are not safe (preserve all interpretations) and complete (remove all spurious ambiguities) for more commonly used variants of CCG.