-----------------------
Implicit Quantification
-----------------------

The tests are at http://josd.github.io/eye/reasoning/iq/test
