Assertion list
distributed database (subgroup of database ) → ReceivesAction
Results from Ascent++: 2
distributed database → ReceivesAction → based upon aggregation of route 0.25
distributed database → ReceivesAction → based upon identification 0.25