Assertion list for term "sink the boat".

Results from Ascent++: 1
shark CapableOfsink the boat 0.25