Toward better reasoning from natural language