ABC had existential and universal quantifiers in its flavor of Boolean
expressions, and they were quite Pythonic. I can't make time now to write
up the details, but have written them up several times before. The most
recent seems to be this brief summary:
http://aspn.activestate.com/ASPN/Mail/Message/679408