#1
+-----------------------Make Wff True----------------------+
                          (x)Lxx                          
                                                          
+----------------------------------------------------------+
+-------------------Interpretation Editor------------------+
                                                          
Enter Domain:     {a}                                     
Enter L interp:   {<a,a>}                                 
Enter R interp:   {}                                      
Enter P interp:   {}                                      
Enter Q interp:   {}                                      
                                                          
+----------------------------------------------------------+
#2
+-----------------------Make Wff True----------------------+
                         (Ex)Lxx                          
                                                          
+----------------------------------------------------------+
+-------------------Interpretation Editor------------------+
                                                          
Enter Domain:     {a}                                     
Enter L interp:   {<a,a>}                                 
Enter R interp:   {}                                      
Enter P interp:   {}                                      
Enter Q interp:   {}                                      
                                                          
+----------------------------------------------------------+
#3
+-----------------------Make Wff True----------------------+
                      (x)(Px > ~Qx)                       
                                                          
+----------------------------------------------------------+
+-------------------Interpretation Editor------------------+
                                                          
Enter Domain:     {a}                                     
Enter L interp:   {}                                      
Enter R interp:   {}                                      
Enter P interp:   {}                                      
Enter Q interp:   {}                                      
                                                          
+----------------------------------------------------------+
#4

+-----------------------Make Wff True----------------------+
                (x)(Px > (~Qx > ~(Ey)Lya))                
                                                          
+----------------------------------------------------------+
+-------------------Interpretation Editor------------------+
                                                          
Enter Domain:     {a,b}                                   
Enter L interp:   {}                                      
Enter R interp:   {}                                      
Enter P interp:   {}                                      
Enter Q interp:   {}                                      
                                                          
+----------------------------------------------------------+
#5
+-----------------------Make Wff True----------------------+
                 (Pa & (Ex)(~Px v Lxa)))                  
                                                          
+----------------------------------------------------------+
+-------------------Interpretation Editor------------------+
                                                          
Enter Domain:     {a,b}                                   
Enter L interp:   {<a,a>}                                 
Enter R interp:   {}                                      
Enter P interp:   {a}                                     
Enter Q interp:   {}                                      
                                                          
+----------------------------------------------------------+
#6
+-----------------------Make Wff True----------------------+
                   (y)(Ex)(~Rxx v Lyb)                    
                                                          
+----------------------------------------------------------+
+-------------------Interpretation Editor------------------+
                                                          
Enter Domain:     {b}                                     
Enter L interp:   {}                                      
Enter R interp:   {}                                      
Enter P interp:   {}                                      
Enter Q interp:   {}                                      
                                                          
+----------------------------------------------------------+
#7
+-----------------------Make Wff True----------------------+
                  (~(y)Ryy & (x)(Ey)Rxy)                  
                                                          
+----------------------------------------------------------+
+-------------------Interpretation Editor------------------+
                                                          
Enter Domain:     {a,b}                                   
Enter L interp:   {}                                      
Enter R interp:   {<a,b>,<b,a>}                           
Enter P interp:   {}                                      
Enter Q interp:   {}                                      
                                                          
+----------------------------------------------------------+
#8
+-----------------------Make Wff True----------------------+
                ((y)(Ex)~Lxy & (y)(Ex)Lxy)                
                                                          
+----------------------------------------------------------+
+-------------------Interpretation Editor------------------+
                                                          
Enter Domain:     {a,b}                                   
Enter L interp:   {<a,a>,<b,b>}                           
Enter R interp:   {}                                      
Enter P interp:   {}                                      
Enter Q interp:   {}                                      
                                                          
+----------------------------------------------------------+
#9
+-----------------------Make Wff True----------------------+
                       ~(x)(Ey)Lxy                        
                                                          
+----------------------------------------------------------+
+-------------------Interpretation Editor------------------+
                                                          
Enter Domain:     {a}                                     
Enter L interp:   {}                                      
Enter R interp:   {}                                      
Enter P interp:   {}                                      
Enter Q interp:   {}                                      
                                                          
+----------------------------------------------------------+
#10

+-----------------------Make Wff True----------------------+
                ((Ex)Px & ~(x)(Px > Lxx))                 
                                                          
+----------------------------------------------------------+
+-------------------Interpretation Editor------------------+
                                                          
Enter Domain:     {a}                                     
Enter L interp:   {}                                      
Enter R interp:   {}                                      
Enter P interp:   {a}                                     
Enter Q interp:   {}                                      
                                                          
+----------------------------------------------------------+


