Assertion list
new locomotive (subgroup of locomotive ) → ReceivesAction
Results from Ascent++: 4
new locomotive → ReceivesAction → built 0.52
new locomotive → ReceivesAction → designed for easier maintenance 0.16
new locomotive → ReceivesAction → designed for improved reliabili… 0.16
new locomotive → ReceivesAction → ordered 0.09