The second rule instead specifies that the latter constraint is a consequence of the first, if the constraint in the middle is entailed by the constraint store.
Друго правило наводи да је друго ограничење последица првог, ако је ограничење у средини подразумева ограничење продавнице.