Text this: From discourse to logic: