Assertion list for term "registered over the vessel".

Results from Ascent++: 1
mortgage ReceivesActionregistered over the vessel 0.25