Assertion list for term "correspond to output".

Results from Ascent++: 1
symbol CapableOfcorrespond to output 0.36