BabyGlue 2.0, a simple implementation of glue-logic-based semantic assembly, is now at: http://arts.anu.edu.au/\Linguistics\People\AveryAndrews\Software This one does the full implicational fragment, so the two readings of 'seek' work out without special fiddles. - Avery Andrews