Assertion list for term "dock at port".

Results from Ascent++: 1
ship CapableOfdock at port 0.55