Assertion list
operating system (primary) → DefinedAs
Results from Ascent++: 1
operating system → DefinedAs → operating system 0.25