It is then reasonable to expect that a state-of-the-art formal semantics provides an accurate computational basis of natural language inferences.
there are still obstacles in the way of achieving this goal.