By specifying global properties of the output and letting constraint propagation fill out the consequences of a choice, situations in which no suitable trees can be built can be detected early.
the global constraint stating that the semantics of a solution tree must be identical with the goal semantics rules out the generation of the phrases in (1b).