Towards history-based grammars | Synapse