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