Assertion list for term "shown labelled as w2".

Results from Ascent++: 1
base ReceivesActionshown labelled as w2 0.36