, Centre for Logic, Language and Computation, Victoria University of Wellington