(<=> (Care-Resource-Of ?A ?B) (And (Clinical-Actor-Of ?A ?B) (Exists (?C) (And (Resource-Of ?A ?C) (Care-Action-Of ?C ?B)))))