(<=> (Analytic-Resource-Of ?A ?B) (And (Clinical-Actor-Of ?A ?B) (Exists (?C ?D) (And (Resource-Of ?A ?C) (Performed-By ?C ?D) (Analyzes ?D ?B)))))