(= (Inverse Binds-With) Binding-Target-Of) (<=> (Binding-Target-Of ?A ?B) (And (Entity ?A) (Object ?B)))