Assertion list
time voter (subgroup of voter ) → ReceivesAction
Results from Ascent++: 1
time voter → ReceivesAction → asked to show id 0.37