Assertion list for term "move to any port".

Results from Ascent++: 1
yacht CapableOfmove to any port 0.16