Other assigned terms:

• ambiguity
• anaphora
• background knowledge
• case
• constraint logic
• device
• disambiguation task
• hclp language
• implementation
• intelligence
• interpretation
• knowledge
• logic
• logical representation
• method
• predicate calculus
• predicates
• process
• pronominal anaphora
• relation
• semantic
• sentence
• sentences
• theorem
• truth-value
• user