Assertion list for term "catch up to outer moon".

Results from Ascent++: 1
inner moon (subgroup of moon) CapableOfcatch up to outer moon 0.25