Assertion list
new ferry (subgroup of ferry ) → ReceivesAction
Results from Ascent++: 2
new ferry → ReceivesAction → used to reflect demand 0.68
new ferry → ReceivesAction → built 0.25