Assertion list for term "crash into a construction crane".

Results from Ascent++: 1
helicopter CapableOfcrash into a construction crane 0.26