Assertion list for term "form in the mantle".

Results from Ascent++: 1
diamond CapableOfform in the mantle 0.46