All but one of the compositional semantic rules of are given by this general, purely extensional schema: If a is an X/Y with extension A and is a with extension, then the result of combining a with /?