(=> (Diagnosis ?Self) (And (Exists (?A) (And (Interpretation-Outcome-Of ?Self ?A) (Diagnostic-Procedure ?A))) (Exists (?B) (And (Interpretant-Of ?Self ?B) (Health-Condition ?B)))))