Natural Logic and Computer Science, workshop 28 June