Assertion list
tourist visa (subgroup of visa ) → IsA
Results from Ascent++: 1
tourist visa → IsA → single entry visa 0.43