Assertion list for term "correspond to wedge".

Results from Ascent++: 1
cutout CapableOfcorrespond to wedge 0.32