Assertion list
strength (aspect of alloy ) → ReceivesAction
Results from Ascent++: 5
strength → ReceivesAction → improved 0.59
strength → ReceivesAction → required 0.58
strength → ReceivesAction → achieved 0.36
strength → ReceivesAction → reduced 0.36
strength → ReceivesAction → increased 0.36