ACL RD-TEC 1.0 Summarization of C90-3034
Paper Title:
A QUANTIFIER SCOPING ALGORITHM WITHOUT A FREE VARIABLE CONSTRAINT
A QUANTIFIER SCOPING ALGORITHM WITHOUT A FREE VARIABLE CONSTRAINT
Primarily assigned technology terms:
Other assigned terms:
- ambiguity
- benchmark
- cognitive
- cognitive science
- complex noun
- complex term
- english syntax
- fact
- formal semantics
- grammatical relation
- grammatical relations
- heuristics
- implementation
- logic
- logical form
- meta-language
- metalanguage
- methodology
- natural language
- negation
- noun phrase
- noun phrases
- phrase
- predicate-argument
- predicates
- procedure
- prolog implementation
- pronoun
- pronouns
- quantifier
- quantifier scope
- recursion
- relation
- representations
- semantic
- sentence
- sentences
- syntactic structure
- syntax
- term
- terms
- theories
- theory
- verb
