Assertion list
moment (primary) → HasA
Results from Ascent++: 3
moment → HasA → purpose 0.44
moment → HasA → the power 0.40
moment → HasA → errata part 0.25