... understandingmodule for a flexible dialog system tutoring math-ematical problem solving, in particular, theoremproving (Benzm¨uller et al., 20 03a).1As empiricalfindings in the area of intelligent ... thereby introducing an error. Wecould include a list of mathematical operations al-lowed to be verbalized, in order to include the log-ical connective in (2a) in the tagged formula. But(2b) shows ... [Agilt]CAUSE, alle x, die in A sind sind nicht in B[As A applies, all x that are in A are not in B]Wenn [A]COND, dann A B=[If A , then A B= ]Dagilt, [alle x, die in A sind sind nicht in B]RESWenn...