... 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 Actorand ... of the intended proof-step.Metonymy Metonymic expressions are used to refer to structural sub-parts of formulae, resulting in predicate structures acceptable informally, yet in- compatible in ... Processing language input in the CIRCSIM-Tutor intelligent tutoring system. In Proc. of the 10th AIEDConference, San Antonio, TX. pp. 210–221.A. Graesser, P. Wiemer-Hastings, K. Wiemer-Hastings,...