Shuttling Between Depictive Models and Abstract Rules: Induction and Fallback · Study