Perhaps I ought to clarify that for these lfg semantics theories I mentioned, semantics is compositional in the f-structure, not the c-structure. The claim is that the mapping from f-structure to compositional semantic structure (sometimes called the "sigma projection") can be as simple as the mapping from syntactic structure to LF. J.