theorem instTemporalRegionIsToParent
theorem instTemporalRegionIsToParent: ∀ (x : Type) [TemporalRegion.Is x], Occurrent.Is x
theorem instTemporalRegionIsToParent
theorem instTemporalRegionIsToParent: ∀ (x : Type) [TemporalRegion.Is x], Occurrent.Is x