Assertion list for term "crash on christmas eve".

Results from Ascent++: 1
helicopter CapableOfcrash on christmas eve 0.16