As a result, if A(X) is in the constraint store and B(X) is entailed by the constraint store, then C(X) can be added to the store.
Као резултат тога, ако је A(X) у ограничењу продавнице и B(X) подразумева ограничење продавнице, а затим се C(X) може додати продавници.