Assertion list for term "proof ticketsof onward".
Results from Ascent++: 1
traveler → HasA → proof ticketsof onward 0.53