Assertion list
firmware update (subgroup of update ) → HasProperty
Results from Ascent++: 3
firmware update → HasProperty → complete 0.64
firmware update → HasProperty → successful 0.59
firmware update → HasProperty → permanent 0.41