This is because, by definition, no cycles occur in the given dependency structure.
if we replace nonterminals of the form J by any other choice of symbols, and combine rules induced by different hybrid trees from a corpus, then cycles may arise if the relationship between inherited and synthesized arguments is confused.