Assertion list
terrestrial planet (subgroup of planet ) → HasA
Results from Ascent++: 3
terrestrial planet → HasA → liquid water 0.52
terrestrial planet → HasA → such low masses 0.38
terrestrial planet → HasA → active hydrosphere 0.25