Assertion list
positive integer (subgroup of integer ) → ReceivesAction
Results from Ascent++: 2
positive integer → ReceivesAction → specified as a varchar2 value 0.45
positive integer → ReceivesAction → added 0.25