I've put on my page: http://arts.anu.edu.au/linguistics/people/averyandrews/papers/ A link to a draft of a proposal to use unification rather than lambda- calculus to assemble meanings; the main motive is to make it easier for beginners, but there might be some empirical effects as well. Avery Andrews