Assertion list
primary key (subgroup of key ) → ReceivesAction
Results from Ascent++: 2
primary key → ReceivesAction → stored 0.32
primary key → ReceivesAction → stored at primary memory module 0.32