(= (Inverse Assesses-Effect-Of) Assessed-For-Effect-By) (<=> (Assessed-For-Effect-By ?A ?B) (And (Entity ?A) (Activity ?B)))