Assertion list for term "show x+y=0.80".

Results from Ascent++: 1
calculation CapableOfshow x+y=0.80 0.27