Lawrence S. Moss is Associate Professor of Mathematics at Indiana University. Jonathan Ginzburg is a lecturer in linguistics at the Hebrew University, of Jerusalem. Maarten de Rijke is Assistant Professor and leader of the computational Logic group at the Institute for Logic, Language and Computation at the University of Amsterdam.