Assertion list
computer system (primary) → DefinedAs
Results from Ascent++: 1
computer system → DefinedAs → one or more software modules 0.31