Assertion list
weight (aspect of aluminum ) → ReceivesAction
Results from Ascent++: 2
weight → ReceivesAction → saved 0.41
weight → ReceivesAction → reduced 0.25