A Deduction System for Meaning Negotiation