Assertion list
flash drive (subgroup of drive ) → HasA
Results from Ascent++: 1
flash drive → HasA → fragile moving parts 0.38