Assertion list
terminal (aspect of relay ) → ReceivesAction
Results from Ascent++: 5
terminal → ReceivesAction → connected 0.68
terminal → ReceivesAction → welded 0.54
terminal → ReceivesAction → insulated 0.33
terminal → ReceivesAction → selected 0.25
terminal → ReceivesAction → tested in the junction block 0.16