Assertion list
software update (subgroup of update ) → CapableOf
Results from Ascent++: 1
software update → CapableOf → provide functional and graphica… 0.16