I've put up a very rudimentary glue semantics implementation for Windows (95 etc) at http://arts.anu.edu.au/linguistics/people/AveryAndrews/Software/ No anaphora or polarity, but predicates, arguments, modifiers and basic quantifier scope seem to work. - Avery Andrews