Assertion list for term "allow free exit".

Results from Ascent++: 1
turnstile CapableOfallow free exit 0.40