(=> (Gl-For-Disease-Management ?Self) (Exists (?A) (And (Method-Of ?Self ?A) (Disease-Management ?A))))