Semantic network representations in rule-based inference systems