The relation for 'treats' when procedures used for treatment are the domain.
(<=> (Treatment-Action-Of ?A ?B) (And (Clinical-Actor-Of ?A ?B) (To-Actor ?A ?B) (Activity ?A) (Health-Condition ?B)))