Assertion list
new pad (subgroup of pad ) → ReceivesAction
Results from Ascent++: 2
new pad → ReceivesAction → applied 0.25
new pad → ReceivesAction → installed 0.25