Relation SURROUNDS

In USN: (:or limits bounds confines encloses circumscribes), but excluding the containment of substances. Here it is defined by stating that x surrounds y iff the interior of x wholly contains y.
Arity: 2
Range: Localized-entity
Subrelation-Of: Position-relation
Axioms:
(=> (Surrounds ?A ?B)
    (And (Not (Substance ?B))
         (Exists (?C ?D)
                 (And (Interior ?A ?C)
                      (Region-Of ?C ?D)
                      (Whole-Location-Of ?D ?B)))))