Assertion list
e visa (subgroup of visa ) → IsA
Results from Ascent++: 2
e visa → IsA → for investor 0.25
e visa → IsA → for trader 0.25