Assertion list for term "arrive with tarp".

Results from Ascent++: 1
helicopter CapableOfarrive with tarp 0.25