Assertion list
ma (primary) → IsA

Results from Ascent++: 1
maIsA terminal degree 0.28