Relation ANALYTIC-RESOURCE-OF

Arity: 2
Subrelation-Of: Clinical-actor-of
Axioms:
(<=> (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)))))