We will call these intensions for derived categories compositional intensions, The general form of the semantic projection rules for an interpreted categorial grammar is implicit in the nature of compositional intensions, just as the general form of the phase structure rules is implicit in the nomenclature for derived categories.