Assertion list
blade (aspect of paddle ) → HasA
Results from Ascent++: 1
blade → HasA → first and second surfaces 0.25