Ascent++
Search
terrestrial planet
subgroup of
planet
,
15
assertions
CapableOf
4
orbit single star
0.52
end up in earlier model
0.38
end up in their current…
0.38
lose most of their atmo…
0.25
HasA
3
liquid water
0.52
such low masses
0.38
active hydrosphere
0.25
HasProperty
5
small
0.57
common
0.42
closer
0.25
habitable
0.25
rocky
0.25
ReceivesAction
3
formed
0.48
composed of silicate ro…
0.45
composed of metal
0.38