Assertion list
trapezium (primary) → ReceivesAction
Results from Ascent++: 2
trapezium → ReceivesAction → shown in figure 0.49
trapezium → ReceivesAction → generated 0.25