Assertion list
original park (subgroup of park ) → ReceivesAction
Results from Ascent++: 2
original park → ReceivesAction → expanded 0.68
original park → ReceivesAction → maintained 0.59