Systems and methods for efficient ambiguous meaning assembly

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.