Assertion list for term "correspond to the expression".

Results from Ascent++: 1
graph CapableOfcorrespond to the expression 0.25