Assertion list
flash drive (subgroup of drive ) → IsA
Results from Ascent++: 1
flash drive → IsA → light 0.47