Assertion list
state solution (subgroup of solution ) → ReceivesAction
Results from Ascent++: 2
state solution → ReceivesAction → based on pre-1967 borders 0.57
state solution → ReceivesAction → implemented 0.25