Assertion list
maxim (primary) → HasA

Results from Ascent++: 1
maximHasA precise technical sense 0.30