Assertion list for term "major in arithmetic".

Results from Ascent++: 1
undergraduate CapableOfmajor in arithmetic 0.25