I've put up on my page http://arts.anu.edu.au/linguistics/people/averyandrews/papers a node on how to formulate glue semantics without the universally quantified variables, using LFG's correspondence architecture to do their work. - Avery Andrews