Institute for Logic, Language and Computation
http://www.illc.uva.nl
Inquire about license