Assertion list
optical disk (primary) → IsA
Results from Ascent++: 1
optical disk → IsA → disk 0.68