Assertion list
windows update (subgroup of update ) → CapableOf
Results from Ascent++: 2
windows update → CapableOf → install update 0.43
windows update → CapableOf → scan for update 0.16