Assertion list
new tram (subgroup of tram ) → ReceivesAction

Results from Ascent++: 1
new tramReceivesAction ordered 0.68