One requires it to land in canonical position: field ext (zu lieben 1 ) = {vc} the other requires it to be extraposed: In the canonical case, zu lieben 1 does not offer field mf and einen Mann must climb to the finite verb: In the extraposed case, zu lieben 2 itself offers field mf: The ID tree for (9) is: The lexical entry for the bare infinitive lieben requires it to land in a vc field: field ext (lieben) = {vc} therefore only the following LP tree is licensed: 3 (dass) Maria einen Mann lieben wird where mf ≺ vc ≺ v, and subject and object, both in field mf, remain mutually unordered.
we correctly license (9) and reject (10).