ACL RD-TEC 1.0 Summarization of E93-1016

Other assigned terms:

• ambiguity
• axioms
• case
• control strategy
• cross-categorial coordination
• deduction
• denotation
• fact
• feature
• grammar
• grammars
• hypothesis
• implementation
• inferences
• interpretation
• labeling
• leaf
• logic
• meanings
• negation
• polarity
• polymorphism
• positive quantifier
• predicate logic
• procedure
• prolog implementation
• propositional logic
• quantifier
• quantifier scope
• relation
• schema
• scope ambiguity
• scope-ambiguity
• semantic
• subtree
• term
• terms
• transformation
• tree
• trees
• universal quantification
• verb
• vocabulary
• words