Assertion list for term "go through lock".

Results from Ascent++: 1
boat CapableOfgo through lock 0.52