Assertion list
software package (subgroup of package ) → ReceivesAction
Results from Ascent++: 2
software package → ReceivesAction → installed 0.84
software package → ReceivesAction → retrieved 0.25