(= (Inverse Carries-Out) Carried-Out-By) (<=> (Carried-Out-By ?A ?B) (And (Process ?A) (Localized-Entity ?B)))