Assertion list for term "leave to enter the wien gates".

Results from Ascent++: 1
turn CapableOfleave to enter the wien gates 0.27