Analytical reasoning with multiple external representations