Assertion list
ma (primary) → DefinedAs
Results from Ascent++: 1
ma → DefinedAs → two or more nuclei 0.25