### 4.3.2 Problem-Specific Constraints

The well-formedness constraints guarantee that our solved forms correspond to trees. We now need additional constraints to guarantee that these trees actually satisfy our description . We shall achieve this by translating each literal in into a constraint as explained below.

If the constraint is of the form , then the translation is trivial in terms of the variable that we introduced earlier to denote the relationship between and :

If the constraint is , then it is translated into the constraints below:

Particularly important is the first constraint which states that the trees rooted at the daughters are pairwise disjoint and that they exhaustively account for the variables below .

Denys Duchier
Version 1.2.0 (20010221)