(= (Inverse Excretes) Excreted-By) (<=> (Excreted-By ?A ?B) (And (Body-Substance ?A) (Biologic-Object ?B)))