Assertion list for term "stop in port".

Results from Ascent++: 1
ship CapableOfstop in port 0.53