Class GL-FOR-DIFFERENTIAL-DIAGNOSIS

Subclass-Of: Guideline
Axioms:
(=> (Gl-For-Differential-Diagnosis ?Self)
    (Exists (?A)
            (And (Method-Of ?Self ?A) (Differential-Diagnosis ?A))))