This article describes main features of a Czech treebank based on a formal grammar. Texts are morphologically tagged, parsed by a stochastic parser, and checked against a formal grammar in HPSG style.
During the formal check, valency lexicon is also used.