theorem instSpatiotemporalRegionIsToParent
theorem instSpatiotemporalRegionIsToParent: ∀ (x : Type) [SpatiotemporalRegion.Is x], Occurrent.Is x
theorem instSpatiotemporalRegionIsToParent
theorem instSpatiotemporalRegionIsToParent: ∀ (x : Type) [SpatiotemporalRegion.Is x], Occurrent.Is x