Assertion list
train ticket (primary) → HasProperty
Results from Ascent++: 3
train ticket → HasProperty → valid 0.64
train ticket → HasProperty → cheaper 0.43
train ticket → HasProperty → more convenient 0.36