Assertion list
transit visa (subgroup of visa ) → HasProperty
Results from Ascent++: 1
transit visa → HasProperty → valid 0.77