Assertion list
usb device (subgroup of device ) → HasA
Results from Ascent++: 1
usb device → HasA → one device descriptor 0.45