The relation for 'treats' when substance used for treatment are the domain.
(<=> (Treatment-Resource-Of ?A ?B)
(And (Clinical-Actor-Of ?A ?B)
(Exists (?C)
(And (Resource-Of ?A ?C)
(Treatment-Action-Of ?C ?B)))))