Assertion list
surface (aspect of asteroid ) → HasA

Results from Ascent++: 1
surfaceHasA albedo 0.66