Assertion list
terrestrial planet (subgroup of planet ) → CapableOf

Results from Ascent++: 4
terrestrial planetCapableOf orbit single star 0.52
terrestrial planetCapableOf end up in earlier model 0.38
terrestrial planetCapableOf end up in their current orbits 0.38
terrestrial planetCapableOf lose most of their atmospheres 0.25