Assertion list for term "moved to the port".

Results from Ascent++: 1
valve ReceivesActionmoved to the port 0.25