theorem instSpatialRegionIsToParent
theorem instSpatialRegionIsToParent: ∀ (x : Type) [SpatialRegion.Is x], ImmaterialEntity.Is x
theorem instSpatialRegionIsToParent
theorem instSpatialRegionIsToParent: ∀ (x : Type) [SpatialRegion.Is x], ImmaterialEntity.Is x