(<=> (Patient ?Self) (And (Human ?Self) (Exists (?A) (And (Strictly-Depends-On ?Self ?A) (Physical-Person ?A))) (Exists (?B) (And (Reference-Location-Of ?Self ?B) (Health-Condition ?B)))))