Assertion list
diameter (aspect of asteroid ) → CapableOf
Results from Ascent++: 1
diameter → CapableOf → orbit the sun 0.25