Assertion list for term "a disk operating system".
Results from Ascent++: 1
operating system → IsA → a disk operating system 0.25