Assertion list
effect (aspect of spill ) → ReceivesAction
Results from Ascent++: 2
effect → ReceivesAction → felt 0.68
effect → ReceivesAction → understood 0.25