Assertion list for term "arrive at the loading port".

Results from Ascent++: 1
vessel CapableOfarrive at the loading port 0.39