THE SEMANTIC DISTANCE, FUZZY DEPENDENCY AND FUZZY FORMULAS