Some region is a hole in some host (object or region) when it is wholly located at the unique region of the host.
(=> (Hole-In ?A ?B) (Exists (?C) (And (Wholly-Located ?A ?C) (Is-Region-Of ?C ?B))))