Mixed Language Processing in the Why 2-Atlas Tutoring System

When dealing with a natural language interaction about a formal domain, a number of phenomena occur. They include interspersing natural language with formulas, various degrees of formality, and conveying the logical structure of an essay. Capturing these phenomena, to some extent, is necessary for providing relevant tutoring feedback. In this paper we discuss these phenomena, the extent to which we process each of them in the Why2-Atlas tutoring system and directions for future work.