Assertion list for term "correspond to the segment".

Results from Ascent++: 1
exemption CapableOfcorrespond to the segment 0.25