(<=> (Care-Resource ?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)
(Resource ?C ?B)))
(Clinical-Actor ?A ?B)
(Object ?A)
(Substance ?B)))