Assertion list
surface (aspect of mercury ) → HasA
Results from Ascent++: 2
surface → HasA → three significant features 0.25
surface → HasA → many craters 0.16