... [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 ... embedded within aFORMULA in the Actor relation with respect to the head contain’]contain( , )CONTAINMENT(container , containee )[’the Containment relation involves a predicate contain and its ... (Glass, 20 01) . However, thisconflicts with the preference for flexible dialog in active learning (Moore, 19 93).With regard to interpreting mathematical texts, (Zinn, 2003) and (Baur, 19 99) present...