Both constraints have been shown to be in very good fit with data from dependency treebanks (Kuhlmann and Nivre, 2006).
with this notion of consistency, we can prove the following technical result about the relation between dependency structures and annotated trees.