Assertion list
inner moon (subgroup of moon ) → CapableOf
Results from Ascent++: 2
inner moon → CapableOf → catch up to outer moon 0.25
inner moon → CapableOf → prevent the survival of tiny mo… 0.25