Assertion list
erosion (primary) → HasA

Results from Ascent++: 1
erosionHasA reaction 0.25