Assertion list for term "satisfy the equation".

Results from Ascent++: 1
value CapableOfsatisfy the equation 0.40