Assertion list
mm (primary) → HasA
Results from Ascent++: 1
mm → HasA → further liability 0.25