Assertion list
ridge (primary) → HasA

Results from Ascent++: 3
ridgeHasA inclination 0.40
ridgeHasA chief minister's official resid… 0.33
ridgeHasA other cross-sectional shapes 0.25