Fig. 2From: Automated design of gradual zone systemsExample of a donut shaped zone avoided with an additional predicateBack to article page