Assertion list for term "return to the helicopter area".

Results from Ascent++: 1
helicopter CapableOfreturn to the helicopter area 0.38