Assertion list
input output (subgroup of output ) → ReceivesAction
Results from Ascent++: 2
input output → ReceivesAction → connected with the output 0.68
input output → ReceivesAction → connected with corresponding ou… 0.25