This kind of deductive reasoning is used in explanations in textbooks.
to GEOS which uses supervised learning, our approach learns to solve geometry problems by interpreting natural language demonstrations of the solution.