... sentence andgrammar by asserting values for certain items. If theinput is John loves Mary, the user should assert valuesof 1 for word( John,0,1), word( loves,1,2), word( Mary,2,3),and end(3). If the ... induction, and finite-state modeling.1 IntroductionComputational linguistics has become a more experi-mental science. One often uses real-world data to testone’s formal models (grammatical, statistical, ... acquire more over time: we in-tend for it to generalize and encapsulate best practices,and serve as a testbed for new practices. Dyna is now be-ing used for parsing, machine translation, morphologicalanalysis,...