Assertion list
patch cable (subgroup of cable ) → ReceivesAction
Results from Ascent++: 1
patch cable → ReceivesAction → made 0.84