Shuttling Between Depictive Models and Abstract Rules: Induction and Fallback | Synapse