Assertion list
dvd drive (subgroup of drive ) → HasProperty
Results from Ascent++: 1
dvd drive → HasProperty → compatible 0.59