Assertion list
hardware device (subgroup of device ) → HasA
Results from Ascent++: 1
hardware device → HasA → unique mac number 0.41