Assertion list for term "one or more harbors".

Results from Ascent++: 1
port HasAone or more harbors 0.41