(<=> (Analytic-Resource ?A ?B) (And (Exists (?C ?D) (And (Analyzed-By ?A ?C) (Performs ?C ?D) (Resource-Of ?B ?D) (Activity ?D) (Substance ?B))) (Clinical-Actor ?A ?B) (Material-Object ?A) (Substance ?B)))