(=> (Clinical-Condition ?Self) (Exists (?A) (And (Treatment-Action ?Self ?A) (Health-Care-Activity ?A))))