(= (Inverse Somewhere-Within) Has-Somewhere-Inside) (<=> (Has-Somewhere-Inside ?A ?B) (And (Localized-Entity ?A) (Substance ?B)))