Ascent++
Search
main sequence star
subgroup of
star
,
3
assertions
AtLocation
1
a state of equilibrium
0.25
CapableOf
2
fuse hydrogen
0.84
undergo convection
0.25