Assertion list
side (aspect of pyramid ) → ReceivesAction

Results from Ascent++: 1
sideReceivesAction placed 0.16