Keyphrases
- natural language
- higher order
- theorem proving
- tree bank
- theorem prover
- context free grammars
- foreign language
- word segmentation
- chinese language
- broad coverage
- keyword extraction
- equational theories
- linguistic knowledge
- dependency parser
- grammatical inference
- linguistically motivated
- execution traces
- chinese text
- production rules
- data mining