A formal theory of dependency syntax with non-lexical