(<=> (Care-Action ?A ?B) (And (Exists (?C) (And (Reference-Location-Of ?A ?C) (To-Actor-Of ?C ?B) (Clinical-Actor ?C ?B) (Health-Condition ?C) (Activity ?B))) (Entity ?A) (Clinical-Actor ?A ?B) (Object ?A) (Activity ?B)))