Assertion list for term "use zest=m1u+m3dest".

Results from Ascent++: 1
value (aspect of parameter) CapableOfuse zest=m1u+m3dest 0.28