(= (Inverse Properly-Depends-On) Properly-Necessary-To) (<=> (Properly-Necessary-To ?A ?B) (And (Entity ?A) (Entity ?B)))