Assertion list
inner planet (subgroup of planet ) → HasA
Results from Ascent++: 2
inner planet → HasA → our moon 0.25
inner planet → HasA → tight orbits 0.25