Assertion list for term "make seven trips".

Results from Ascent++: 1
ferry CapableOfmake seven trips 0.25