(<=> (Diagnostic-Resource ?A ?B) (And (Exists (?C ?D) (And (Evaluated-By ?A ?C) (Inverse-Of-Clinical-Relation ?A ?C) (Health-Condition ?A) (*Healthcare-Operator ?C) (Performs ?C ?D) (Resource ?D ?B))) (Clinical-Actor ?A ?B) (Health-Condition ?A) (Substance ?B)))