Assertion list for term "be an m-dwarf".

Results from Ascent++: 1
star CapableOfbe an m-dwarf 0.34