A fuzzy theoretical approach to case-based representation and inference in CISG