Assertion list for term "descend to the moon".

Results from Ascent++: 1
lunar module CapableOfdescend to the moon 0.25