Assertion list
ticket (aspect of lottery ) → HasA
Results from Ascent++: 1
ticket → HasA → unique number 0.28