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