:: GATE_1 semantic presentation

c1 is set
{} is empty set
{{}} is non empty set
c1 is empty set
(c1) is set
c1 is non empty set
(c1) is set
({{}}) is empty set
({}) is non empty set
c1 is set
(c1) is set
x1 is set
(x1) is set
c1 is set
x1 is set
x2 is set
y2 is set
y1 is set
c1 is non empty set
x1 is non empty set
(c1,x1) is set
c1 is empty set
x1 is set
(c1,x1) is set
c1 is set
x1 is set
(c1,x1) is set
y1 is set
x2 is set
(y1,x2) is set
c1 is set
x1 is set
x2 is set
y2 is set
y1 is set
c1 is set
x1 is non empty set
(c1,x1) is set
c1 is empty set
x1 is empty set
(c1,x1) is set
c1 is set
x1 is set
(c1,x1) is set
y1 is set
x2 is set
(y1,x2) is set
c1 is set
x1 is set
x2 is set
y2 is set
y1 is set
c1 is empty set
x1 is non empty set
(c1,x1) is set
c1 is empty set
x1 is empty set
(c1,x1) is set
c1 is non empty set
x1 is non empty set
(c1,x1) is set
c1 is set
x1 is set
(c1,x1) is set
y1 is set
x2 is set
(y1,x2) is set
c1 is set
(c1,c1) is set
c1 is set
(c1,{}) is set
x1 is set
(x1,{}) is set
c1 is set
x1 is set
(c1,x1) is set
(x1,c1) is set
x2 is set
y1 is set
(x2,y1) is set
(y1,x2) is set
c1 is set
x1 is set
x2 is set
y2 is set
y1 is set
c1 is empty set
x1 is non empty set
(c1,x1) is set
c1 is empty set
x1 is empty set
(c1,x1) is set
c1 is non empty set
x1 is non empty set
(c1,x1) is set
c1 is set
x1 is set
(c1,x1) is set
y1 is set
x2 is set
(y1,x2) is set
c1 is set
x1 is set
(c1,x1) is set
(c1,x1) is set
c1 is set
x1 is set
x2 is set
y2 is set
y1 is set
c1 is empty set
x1 is set
(c1,x1) is set
c1 is non empty set
x1 is non empty set
(c1,x1) is set
c1 is set
x1 is set
(c1,x1) is set
y1 is set
x2 is set
(y1,x2) is set
c1 is set
x1 is set
x2 is set
y2 is set
y1 is set
c1 is empty set
x1 is empty set
(c1,x1) is set
c1 is non empty set
x1 is set
(c1,x1) is set
c1 is set
x1 is set
(c1,x1) is set
y1 is set
x2 is set
(y1,x2) is set
c1 is set
x1 is set
y1 is set
c1 is non empty set
x1 is non empty set
y1 is non empty set
(c1,x1,y1) is set
c1 is empty set
x1 is set
y1 is set
(c1,x1,y1) is set
(x1,c1,y1) is set
(x1,y1,c1) is set
c1 is set
x1 is set
y1 is set
(c1,x1,y1) is set
x2 is set
y2 is set
x3 is set
(x2,y2,x3) is set
c1 is set
x1 is set
y1 is set
c1 is empty set
x1 is empty set
y1 is empty set
(c1,x1,y1) is set
c1 is non empty set
x1 is set
y1 is set
(c1,x1,y1) is set
(x1,c1,y1) is set
(x1,y1,c1) is set
c1 is set
x1 is set
y1 is set
(c1,x1,y1) is set
x2 is set
y2 is set
x3 is set
(x2,y2,x3) is set
c1 is set
x1 is set
y1 is set
c1 is empty set
x1 is empty set
y1 is empty set
(c1,x1,y1) is set
c1 is empty set
x1 is empty set
y1 is non empty set
(c1,x1,y1) is set
(c1,y1,x1) is set
(y1,c1,x1) is set
c1 is non empty set
x1 is non empty set
y1 is empty set
(c1,x1,y1) is set
(c1,y1,x1) is set
(y1,c1,x1) is set
c1 is non empty set
x1 is non empty set
y1 is non empty set
(c1,x1,y1) is set
c1 is set
x1 is set
y1 is set
(c1,x1,y1) is set
x2 is set
y2 is set
x3 is set
(x2,y2,x3) is set
c1 is set
x1 is set
y1 is set
c1 is non empty set
x1 is non empty set
y1 is set
(c1,x1,y1) is set
(c1,y1,x1) is set
(y1,c1,x1) is set
c1 is empty set
x1 is empty set
y1 is set
(c1,x1,y1) is set
(c1,y1,x1) is set
(y1,c1,x1) is set
c1 is set
x1 is set
y1 is set
(c1,x1,y1) is set
x2 is set
y2 is set
x3 is set
(x2,y2,x3) is set
c1 is set
x1 is set
y1 is set
c1 is set
x1 is set
y1 is set
(c1,x1,y1) is set
x2 is set
y2 is set
x3 is set
(x2,y2,x3) is set
c1 is set
x1 is set
y1 is set
c1 is set
x1 is set
y1 is set
(c1,x1,y1) is set
x2 is set
y2 is set
x3 is set
(x2,y2,x3) is set
c1 is set
x1 is set
y1 is set
x2 is set
c1 is set
x1 is set
y1 is set
x2 is set
(c1,x1,y1,x2) is set
y2 is set
x3 is set
y3 is set
x4 is set
(y2,x3,y3,x4) is set
c1 is set
x1 is set
y1 is set
x2 is set
c1 is set
x1 is set
y1 is set
x2 is set
(c1,x1,y1,x2) is set
y2 is set
x3 is set
y3 is set
x4 is set
(y2,x3,y3,x4) is set
c1 is set
x1 is set
y1 is set
x2 is set
c1 is set
x1 is set
y1 is set
x2 is set
(c1,x1,y1,x2) is set
y2 is set
x3 is set
y3 is set
x4 is set
(y2,x3,y3,x4) is set
c1 is set
x1 is set
y1 is set
x2 is set
c1 is set
x1 is set
y1 is set
x2 is set
(c1,x1,y1,x2) is set
y2 is set
x3 is set
y3 is set
x4 is set
(y2,x3,y3,x4) is set
c1 is set
x1 is set
y1 is set
x2 is set
y2 is set
c1 is set
x1 is set
y1 is set
x2 is set
y2 is set
(c1,x1,y1,x2,y2) is set
x3 is set
y3 is set
x4 is set
y4 is set
c4 is set
(x3,y3,x4,y4,c4) is set
c1 is set
x1 is set
y1 is set
x2 is set
y2 is set
c1 is set
x1 is set
y1 is set
x2 is set
y2 is set
(c1,x1,y1,x2,y2) is set
x3 is set
y3 is set
x4 is set
y4 is set
c4 is set
(x3,y3,x4,y4,c4) is set
c1 is set
x1 is set
y1 is set
x2 is set
y2 is set
c1 is set
x1 is set
y1 is set
x2 is set
y2 is set
(c1,x1,y1,x2,y2) is set
x3 is set
y3 is set
x4 is set
y4 is set
c4 is set
(x3,y3,x4,y4,c4) is set
c1 is set
x1 is set
y1 is set
x2 is set
y2 is set
c1 is set
x1 is set
y1 is set
x2 is set
y2 is set
(c1,x1,y1,x2,y2) is set
x3 is set
y3 is set
x4 is set
y4 is set
c4 is set
(x3,y3,x4,y4,c4) is set
c1 is set
x1 is set
y1 is set
x2 is set
y2 is set
x3 is set
c1 is set
x1 is set
y1 is set
x2 is set
y2 is set
x3 is set
(c1,x1,y1,x2,y2,x3) is set
y3 is set
x4 is set
y4 is set
c4 is set
q1 is set
p1 is set
(y3,x4,y4,c4,q1,p1) is set
c1 is set
x1 is set
y1 is set
x2 is set
y2 is set
x3 is set
c1 is set
x1 is set
y1 is set
x2 is set
y2 is set
x3 is set
(c1,x1,y1,x2,y2,x3) is set
y3 is set
x4 is set
y4 is set
c4 is set
q1 is set
p1 is set
(y3,x4,y4,c4,q1,p1) is set
c1 is set
x1 is set
y1 is set
x2 is set
y2 is set
x3 is set
c1 is set
x1 is set
y1 is set
x2 is set
y2 is set
x3 is set
(c1,x1,y1,x2,y2,x3) is set
y3 is set
x4 is set
y4 is set
c4 is set
q1 is set
p1 is set
(y3,x4,y4,c4,q1,p1) is set
c1 is set
x1 is set
y1 is set
x2 is set
y2 is set
x3 is set
c1 is set
x1 is set
y1 is set
x2 is set
y2 is set
x3 is set
(c1,x1,y1,x2,y2,x3) is set
y3 is set
x4 is set
y4 is set
c4 is set
q1 is set
p1 is set
(y3,x4,y4,c4,q1,p1) is set
c1 is set
x1 is set
y1 is set
x2 is set
y2 is set
x3 is set
y3 is set
c1 is set
x1 is set
y1 is set
x2 is set
y2 is set
x3 is set
y3 is set
(c1,x1,y1,x2,y2,x3,y3) is set
x4 is set
y4 is set
c4 is set
q1 is set
p1 is set
sd1 is set
q2 is set
(x4,y4,c4,q1,p1,sd1,q2) is set
c1 is set
x1 is set
y1 is set
x2 is set
y2 is set
x3 is set
y3 is set
c1 is set
x1 is set
y1 is set
x2 is set
y2 is set
x3 is set
y3 is set
(c1,x1,y1,x2,y2,x3,y3) is set
x4 is set
y4 is set
c4 is set
q1 is set
p1 is set
sd1 is set
q2 is set
(x4,y4,c4,q1,p1,sd1,q2) is set
c1 is set
x1 is set
y1 is set
x2 is set
y2 is set
x3 is set
y3 is set
c1 is set
x1 is set
y1 is set
x2 is set
y2 is set
x3 is set
y3 is set
(c1,x1,y1,x2,y2,x3,y3) is set
x4 is set
y4 is set
c4 is set
q1 is set
p1 is set
sd1 is set
q2 is set
(x4,y4,c4,q1,p1,sd1,q2) is set
c1 is set
x1 is set
y1 is set
x2 is set
y2 is set
x3 is set
y3 is set
c1 is set
x1 is set
y1 is set
x2 is set
y2 is set
x3 is set
y3 is set
(c1,x1,y1,x2,y2,x3,y3) is set
x4 is set
y4 is set
c4 is set
q1 is set
p1 is set
sd1 is set
q2 is set
(x4,y4,c4,q1,p1,sd1,q2) is set
c1 is set
x1 is set
y1 is set
x2 is set
y2 is set
x3 is set
y3 is set
x4 is set
c1 is set
x1 is set
y1 is set
x2 is set
y2 is set
x3 is set
y3 is set
x4 is set
(c1,x1,y1,x2,y2,x3,y3,x4) is set
y4 is set
c4 is set
q1 is set
p1 is set
sd1 is set
q2 is set
p2 is set
sd2 is set
(y4,c4,q1,p1,sd1,q2,p2,sd2) is set
c1 is set
x1 is set
y1 is set
x2 is set
y2 is set
x3 is set
y3 is set
x4 is set
c1 is set
x1 is set
y1 is set
x2 is set
y2 is set
x3 is set
y3 is set
x4 is set
(c1,x1,y1,x2,y2,x3,y3,x4) is set
y4 is set
c4 is set
q1 is set
p1 is set
sd1 is set
q2 is set
p2 is set
sd2 is set
(y4,c4,q1,p1,sd1,q2,p2,sd2) is set
c1 is set
x1 is set
y1 is set
x2 is set
y2 is set
x3 is set
y3 is set
x4 is set
c1 is set
x1 is set
y1 is set
x2 is set
y2 is set
x3 is set
y3 is set
x4 is set
(c1,x1,y1,x2,y2,x3,y3,x4) is set
y4 is set
c4 is set
q1 is set
p1 is set
sd1 is set
q2 is set
p2 is set
sd2 is set
(y4,c4,q1,p1,sd1,q2,p2,sd2) is set
c1 is set
x1 is set
y1 is set
x2 is set
y2 is set
x3 is set
y3 is set
x4 is set
c1 is set
x1 is set
y1 is set
x2 is set
y2 is set
x3 is set
y3 is set
x4 is set
(c1,x1,y1,x2,y2,x3,y3,x4) is set
y4 is set
c4 is set
q1 is set
p1 is set
sd1 is set
q2 is set
p2 is set
sd2 is set
(y4,c4,q1,p1,sd1,q2,p2,sd2) is set
x1 is set
x3 is set
c1 is set
(x1,x3,c1) is set
c4 is set
y1 is set
y3 is set
(y1,y3,c4) is set
q1 is set
x2 is set
x4 is set
(x2,x4,q1) is set
p1 is set
y2 is set
y4 is set
(y2,y4,p1) is set
sd1 is set
q2 is set
(x1,x3) is set
p2 is set
(y1,y3) is set
sd2 is set
(x2,x4) is set
q3 is set
(y2,y4) is set
p3 is set
(c1,q2,p2,sd2,q3) is set
sd3 is set
(sd1,p3) is set
c1 is set
x1 is set
x2 is set
y2 is set
y1 is set
c1 is set
x1 is set
(c1,x1) is set
y1 is set
x2 is set
(y1,x2) is set
y1 is set
x2 is set
c1 is set
x1 is set
y2 is set
(c1,x1,y2) is set
(y1,x2,(c1,x1,y2)) is set
y1 is set
x2 is set
c1 is set
x1 is set
y2 is set
(c1,x1,y2) is set
(y1,x2,(c1,x1,y2)) is set
y2 is set
x3 is set
c1 is set
x1 is set
y1 is set
x2 is set
y3 is set
(c1,x1,y1,x2,y3) is set
(c1,x1,y3) is set
(y1,x2,(c1,x1,y3)) is set
(y2,x3,(c1,x1,y1,x2,y3)) is set
y2 is set
x3 is set
c1 is set
x1 is set
y1 is set
x2 is set
y3 is set
(c1,x1,y1,x2,y3) is set
(c1,x1,y3) is set
(y1,x2,(c1,x1,y3)) is set
(y2,x3,(c1,x1,y1,x2,y3)) is set
y3 is set
x4 is set
c1 is set
x1 is set
y1 is set
x2 is set
y2 is set
x3 is set
y4 is set
(c1,x1,y1,x2,y2,x3,y4) is set
(c1,x1,y1,x2,y4) is set
(c1,x1,y4) is set
(y1,x2,(c1,x1,y4)) is set
(y2,x3,(c1,x1,y1,x2,y4)) is set
(y3,x4,(c1,x1,y1,x2,y2,x3,y4)) is set
y3 is set
x4 is set
c1 is set
x1 is set
y1 is set
x2 is set
y2 is set
x3 is set
y4 is set
(c1,x1,y1,x2,y2,x3,y4) is set
(c1,x1,y1,x2,y4) is set
(c1,x1,y4) is set
(y1,x2,(c1,x1,y4)) is set
(y2,x3,(c1,x1,y1,x2,y4)) is set
(y3,x4,(c1,x1,y1,x2,y2,x3,y4)) is set
q1 is set
x1 is set
y1 is set
(x1,y1) is set
p1 is set
(x1,y1) is set
sd1 is set
(x1,y1) is set
q2 is set
x2 is set
y2 is set
(x2,y2) is set
p2 is set
(x2,y2) is set
sd2 is set
(x2,y2) is set
q3 is set
x3 is set
y3 is set
(x3,y3) is set
p3 is set
(x3,y3) is set
sd3 is set
(x3,y3) is set
q4 is set
x4 is set
y4 is set
(x4,y4) is set
p4 is set
(x4,y4) is set
sd4 is set
(x4,y4) is set
cb1 is set
c1 is set
(c1) is set
cb2 is set
(cb1) is set
s1 is set
(cb2,sd1) is set
l2 is set
(cb1,p1) is set
t2 is set
(l2,q1) is set
s2 is set
(t2,sd2) is set
l3 is set
(q1,p2) is set
m3 is set
(p2,p1,cb1) is set
t3 is set
(l3,m3,q2) is set
s3 is set
(t3,sd3) is set
l4 is set
(q2,p3) is set
m4 is set
(q1,p3,p2) is set
n4 is set
(p3,p2,p1,cb1) is set
t4 is set
(l4,m4,n4,q3) is set
s4 is set
(t4,sd4) is set
l5 is set
(q3,p4) is set
m5 is set
(q2,p4,p3) is set
n5 is set
(q1,p4,p3,p2) is set
o5 is set
(p4,p3,p2,p1,cb1) is set
c4 is set
(q4,l5,m5,n5,o5) is set
(x1,y1,c1) is set
(x1,y1,x2,y2,c1) is set
(x1,y1,c1) is set
(x2,y2,(x1,y1,c1)) is set
(x1,y1,x2,y2,x3,y3,c1) is set
(x1,y1,x2,y2,c1) is set
(x2,y2,(x1,y1,c1)) is set
(x3,y3,(x1,y1,x2,y2,c1)) is set
(x1,y1,x2,y2,x3,y3,x4,y4,c1) is set
(x1,y1,x2,y2,x3,y3,c1) is set
(x3,y3,(x1,y1,x2,y2,c1)) is set
(x4,y4,(x1,y1,x2,y2,x3,y3,c1)) is set
(x1,y1,x2,y2,x3,y3,x4,y4,c1) is set
(x4,y4,(x1,y1,x2,y2,x3,y3,c1)) is set