(= (Inverse Abnormally-Attached) Has-Abnormally-Attached-Part) (<=> (Has-Abnormally-Attached-Part ?A ?B) (And (Material-Object ?A) (Material-Object ?B)))