Assertion list
software update (subgroup of update ) → HasPrerequisite
Results from Ascent++: 1
software update → HasPrerequisite → multiple restarts 0.22