Assertion list for term "take over dock".

Results from Ascent++: 1
sea lion CapableOftake over dock 0.25