Assertion list
effect (aspect of sage ) → ReceivesAction
Results from Ascent++: 1
effect → ReceivesAction → demolished 0.59