Assertion list
software update (subgroup of update ) → HasProperty
Results from Ascent++: 2
software update → HasProperty → complete 0.30
software update → HasProperty → successful 0.16