Assertion list
original square (subgroup of square ) → ReceivesAction
Results from Ascent++: 1
original square → ReceivesAction → laid out in 1733 0.68