inference and Natural language semantics