Assertion list
entire tower (subgroup of tower ) → ReceivesAction
Results from Ascent++: 1
entire tower → ReceivesAction → supported by three enormous col… 0.68