Assertion list
optical drive (subgroup of drive ) → HasProperty
Results from Ascent++: 1
optical drive → HasProperty → faulty 0.16