If a goal cannot be rewritten because all clauses that could be used have a guard that is not entailed by the constraint store, the process solving this goal is blocked until the other processes add the constraints that are necessary to entail the guard of at least one of the applicable clauses.
Ако циљ не може бити преписан јер све клаузуле које би се могле користити имају стражара који не подразумева ограничење продавнице, процес решавања тог циља је блокиран док ће други процеси додати ограничења која су неопходна да подразумевају стражу од најмање једне од важећих одредаба.