ACL RD-TEC 1.0 Summarization of J90-4002

Other assigned terms:

• abbreviation
• ambiguity
• approach
• axioms
• case
• compositional semantics
• declarative sentence
• definite clause grammar
• definite clause grammars
• definite description
• denotation
• derivation
• determiner
• determiners
• device
• discourse
• disjunction
• embedded clause
• english sentence
• english verb
• existential quantifier
• fact
• feature
• feature agreement
• finite set
• first-order logic
• first-order model
• formal grammars
• formalism
• formalisms
• frame
• grammar
• grammars
• head noun
• implementation
• inferences
• interpretation
• interpreter
• knowledge
• lambda
• lambda expression
• lexical entries
• lexicon
• linguistic
• linguistics
• logic
• logical form
• logical forms
• main verb
• mapping
• maps
• meaning
• meanings
• meta-language
• metalanguage
• method
• modal logic
• montague grammar
• names
• natural language
• negation
• noun phrase
• noun phrases
• nouns
• np conjunction
• parse
• phrase
• possible translation
• predicates
• prepositional phrase
• prepositional phrases
• prolog code
• prolog predicate
• pronoun
• pronouns
• proper name
• proper noun
• propositions
• quantifier
• quantifier scope
• relation
• relative clause
• relative clauses
• representations
• right-branching structure
• schema
• scope ambiguity
• semantic
• semantic feature
• semantic features
• semantic formalism
• semantic representation
• sentence
• sentences
• subcategorization frame
• symbol
• symbols
• syntactic information
• syntax
• syntax and semantics
• target language
• technique
• term
• terms
• textbook
• theorem
• theories
• theory
• transitive verb
• transitive verbs
• translations
• tree
• truth-value
• turing machine
• type hierarchy
• typed lambda calculus
• understanding
• unification grammar
• unification grammars
• utterance
• verb
• verb phrase
• word
• words