Assertion list
extension cord (subgroup of cord ) → ReceivesAction
Results from Ascent++: 1
extension cord → ReceivesAction → discarded 0.16