Gradual Semantics Accounting for Varied-Strength Attacks | Synapse