Assertion list
ma (primary) → IsA
Results from Ascent++: 1
ma → IsA → terminal degree 0.28