Assertion list for term "proximate to exit".

Results from Ascent++: 1
entrance CapableOfproximate to exit 0.27