Universiteit van Amsterdam. Institute for Logic, Language and Computation