Assertion list
time voter (subgroup of voter ) → IsA
Results from Ascent++: 1
time voter → IsA → given free tickets 0.28