Techniques managing syntactic and semantic ambiguity allow two different
kinds of processing and representation of ambiguity to work together. The
techniques allow linear logic semantic assembly to work with packed
functional (f) structures and provide for contexted version of linear
logic where semantic contributions are read from the packed functional
(f) structure and pre-pended with the contents of the functional (f)
structure to which they pertain. Linear logic reasoning may then be
performed in the contexted linear logic to derive possible meanings from
the contexted contributions from the packed functional (f) structure.
Deductions in the contexted linear logic do not require fully expanding
each syntactic parse. Techniques applying skeleton/modifier techniques to
contexted reasoning are provided by creating a contexted modifier
applicable only for certain syntactic readings. These techniques
recognize both quantifier scope ambiguity and attachment ambiguity in a
representation that uses efficient skeleton/modifier representation where
possible and contexted representation otherwise.