Assertion list for term "based on given index number".

Results from Ascent++: 1
future contract (subgroup of contract) ReceivesActionbased on given index number 0.25