On the other hand, the local constraints help in dealing with the presupposition project problem.
we take a suggestion made by Beaver (2002) and use the local constraints as a further criterion for ranking potential solutions of the resolution algorithm.