Assertion list
strength (aspect of aluminum ) → ReceivesAction
Results from Ascent++: 2
strength → ReceivesAction → required 0.68
strength → ReceivesAction → improved 0.16