Assertion list
shape (aspect of solid ) → ReceivesAction
Results from Ascent++: 2
shape → ReceivesAction → changed 0.68
shape → ReceivesAction → determined 0.25