ACL RD-TEC 1.0 Summarization of P99-1058
Paper Title:
A SEMANTICALLY-DERIVED SUBSET OF ENGLISH FOR HARDWARE VERIFICATION
A SEMANTICALLY-DERIVED SUBSET OF ENGLISH FOR HARDWARE VERIFICATION
Authors: Alexander Holt and Ewan Klein
Primarily assigned technology terms:
Other assigned terms:
- ambiguity
- anaphora
- automatic conversion
- axioms
- case
- context-free grammar
- device
- discourse
- duration
- ellipsis
- english syntax
- fact
- formalism
- grammar
- hypothesis
- interpretation
- lexical item
- lexicon
- linguistic
- linguistic hypothesis
- linguistic phenomenon
- literal translation
- logic
- mapping
- maps
- mechanisms
- methodology
- natural language
- natural language tools
- nouns
- ontology
- paraphrases
- phrase
- predicates
- relation
- representation language
- semantic
- semantic expressiveness
- semantic representation
- semantic representation language
- sentence
- sentences
- signal
- subcategorisation
- subject-verb agreement
- sublanguage
- syntactic context
- syntax
- temporal logic
- terms
- user
- verb
- verb phrase
- verb phrase modification
