... affairs. In the absence of a rigorous semantics for a given grammar formalism, the user, critic, or implementer of the formalism risks misunderstanding the intended interpretation of a construct, ... abstract level formalisms that are based on the simultaneous solution of sets of constraints [9,10]. An abstract analysis of those formalisms requires a notion of partial information that ... encode linguistic information in the form of attribute-vahm pairs. Most importantly, par- tial information is critical to the use of such systems for instance, in the variables of definite clause...