Assertion list for term "extend to the correspondence".

Results from Ascent++: 1
separation CapableOfextend to the correspondence 0.25