Assertion list
dvd drive (subgroup of drive ) → CapableOf
Results from Ascent++: 1
dvd drive → CapableOf → read dvd 0.81