Assertion list
blade (aspect of fan ) → HasA
Results from Ascent++: 3
blade → HasA → a root region 0.42
blade → HasA → inner side edge 0.25
blade → HasA → lean angle 0.25