Assertion list for term "form commutative semiring".

Results from Ascent++: 1
weight CapableOfform commutative semiring 0.31