Assertion list for term "fly over red square".

Results from Ascent++: 1
helicopter CapableOffly over red square 0.25