Assertion list
ironing (primary) → ReceivesAction
Results from Ascent++: 2
ironing → ReceivesAction → required 0.68
ironing → ReceivesAction → avoided 0.16