G. and K. give a formalized account of context-sensitive transderivational constraints and conventional implicatures in order to demonstrate that pragmatically determined constraints on syntactic form are a legitimate part of grammar.