ACL RD-TEC 1.0 Summarization of E91-1036

Other assigned terms:

• attribute-value structure
• axioms
• decidability
• deduction
• deductive closure
• denotation
• disjunction
• fact
• feature
• feature description
• feature structure
• feature structures
• finite set
• grammar
• graphical representation
• hypothesis
• inference rules
• interpretation
• lemma
• linguistic
• logic
• negation
• norm
• normal form
• procedure
• reflexivity
• relation
• symbol
• symbols
• syntax
• term
• terms
• text
• theorem
• tile definition
• tile system
• transitivity
• unification grammar
• vocabulary