(<=> (Treatment-Action ?A ?B) (And (To-Actor-Of ?A ?B) (Clinical-Actor ?A ?B) (Health-Condition ?A) (Activity ?B)))