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