Assertion list
true purpose (subgroup of purpose ) → ReceivesAction
Results from Ascent++: 1
true purpose → ReceivesAction → revealed 0.59