Assertion list
jab (primary) → ReceivesAction
Results from Ascent++: 5
jab → ReceivesAction → thrown 0.61
jab → ReceivesAction → launched 0.51
jab → ReceivesAction → enabled 0.48
jab → ReceivesAction → indexed in art abstracts 0.25
jab → ReceivesAction → indexed in the h.w. wilson comp… 0.25