... 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 ... syntactic and semantic analysis. We propose an approach to inputunderstanding in this setting. Our goal is a uniformanalysis of inputs of different degree of verbaliza-tion: ranging from symbolic ... corresponding to mathematicalexpressions of type “formula”, are, , and .For example, in one of the readings of “B enthaelt”, “enthaelt” represents the meaning containtaking dependents in the...