Relation WHOLLY-LOCATED

The non-minimal localization: Nick is in Rome.
Arity: 2
Domain: Entity
Range: Entity, Region
Subrelation-Of: Located
Axioms:
(<=> (Wholly-Located ?A ?B)
     (And (Exists (?C) (And (Located ?A ?C) (Part-Of ?C ?B)))
          (Entity ?B)
          (Located ?A ?B)
          (Entity ?A)
          (Region ?B)))