SMS: Computional linguistics and formal semantics / edited by Michael Rosner and Roderick Johnson.