

![0_image_0.png](0_image_0.png)

  
 
                       
          
         
                       
existentially quantied variables are shifted we get the st 
           
    
                 

   
         
           and the ordering of universally quantied
        
, for each pair of universally quantied variables (    
           
, we can see that each existentially quantied variable
         
because no universally quantied variable is between 
      
                      
 
   
        is satisable. , a solution to the problem with the prex        
    

![0_image_1.png](0_image_1.png) 
                          
quantied arc consistent, then P *is quantied arc consistent.*
                    ) is quantied arc consistent in   
                     
            is quantied arc consistent, any value in       
                         
           , it is obvious that the quantied arc consistency holds. The  
quantied arc consistent.