Assertion list
hardware device (subgroup of device ) → HasProperty
Results from Ascent++: 3
hardware device → HasProperty → old 0.42
hardware device → HasProperty → accessible 0.25
hardware device → HasProperty → compatible 0.25