Nested Quantifier Arcade Game

This game is pretty self-explanatory. Evaluate sentences in order to charge up the progress bar and beat a level. Note that a) each new level features somewhat more complex sentences and b) the closer you get to filling the bar the faster you loose charge, so it's a bit of the race at the end of each level!

Screenshot below -- click here to download.