:: XREGULAR semantic presentation

X1 is non empty set

X2 is set

X3 is set

X1 is non empty set

union X1 is set

X2 is set

X1 \/ X2 is non empty set

X3 is set

X4 is set

X1 is non empty set

union X1 is set

X2 is set

union (union X1) is set

X3 is set

X1 \/ X2 is non empty set

(X1 \/ X2) \/ X3 is non empty set

X4 is set

X5 is set

X5 is set

X6 is set

X2 \/ X3 is set

X1 \/ (X2 \/ X3) is non empty set

X1 is non empty set

union X1 is set

X2 is set

union (union X1) is set

X3 is set

union (union (union X1)) is set

X4 is set

X1 \/ X2 is non empty set

(X1 \/ X2) \/ X3 is non empty set

((X1 \/ X2) \/ X3) \/ X4 is non empty set

X5 is set

X6 is set

X6 is set

Z is set

X2 \/ X3 is set

X1 \/ (X2 \/ X3) is non empty set

(X1 \/ (X2 \/ X3)) \/ X4 is non empty set

(X2 \/ X3) \/ X4 is set

X1 \/ ((X2 \/ X3) \/ X4) is non empty set

Z is set

Y is set

y is set

X3 \/ X4 is set

X2 \/ (X3 \/ X4) is set

X1 is non empty set

union X1 is set

X2 is set

union (union X1) is set

X3 is set

union (union (union X1)) is set

union (union (union (union X1))) is set

X4 is set

X5 is set

X1 \/ X2 is non empty set

(X1 \/ X2) \/ X3 is non empty set

((X1 \/ X2) \/ X3) \/ X5 is non empty set

(((X1 \/ X2) \/ X3) \/ X5) \/ X4 is non empty set

X6 is set

Z is set

Z is set

Y is set

y is set

X2 \/ X3 is set

X1 \/ (X2 \/ X3) is non empty set

(X1 \/ (X2 \/ X3)) \/ X5 is non empty set

((X1 \/ (X2 \/ X3)) \/ X5) \/ X4 is non empty set

(X2 \/ X3) \/ X5 is set

X1 \/ ((X2 \/ X3) \/ X5) is non empty set

(X1 \/ ((X2 \/ X3) \/ X5)) \/ X4 is non empty set

((X2 \/ X3) \/ X5) \/ X4 is set

X1 \/ (((X2 \/ X3) \/ X5) \/ X4) is non empty set

Z is set

Y is set

Z is set

Y is set

y is set

Y2 is set

X3 \/ X5 is set

X2 \/ (X3 \/ X5) is set

(X2 \/ (X3 \/ X5)) \/ X4 is set

(X3 \/ X5) \/ X4 is set

X2 \/ ((X3 \/ X5) \/ X4) is set

X5 \/ X4 is set

X3 \/ (X5 \/ X4) is set

X1 is non empty set

union X1 is set

X2 is set

union (union X1) is set

X3 is set

union (union (union X1)) is set

union (union (union (union X1))) is set

union (union (union (union (union X1)))) is set

X4 is set

X5 is set

X6 is set

X1 \/ X2 is non empty set

(X1 \/ X2) \/ X3 is non empty set

((X1 \/ X2) \/ X3) \/ X5 is non empty set

(((X1 \/ X2) \/ X3) \/ X5) \/ X6 is non empty set

((((X1 \/ X2) \/ X3) \/ X5) \/ X6) \/ X4 is non empty set

Y is set

X2 \/ X3 is set

X1 \/ (X2 \/ X3) is non empty set

(X1 \/ (X2 \/ X3)) \/ X5 is non empty set

((X1 \/ (X2 \/ X3)) \/ X5) \/ X6 is non empty set

(((X1 \/ (X2 \/ X3)) \/ X5) \/ X6) \/ X4 is non empty set

(X2 \/ X3) \/ X5 is set

X1 \/ ((X2 \/ X3) \/ X5) is non empty set

(X1 \/ ((X2 \/ X3) \/ X5)) \/ X6 is non empty set

((X1 \/ ((X2 \/ X3) \/ X5)) \/ X6) \/ X4 is non empty set

((X2 \/ X3) \/ X5) \/ X6 is set

X1 \/ (((X2 \/ X3) \/ X5) \/ X6) is non empty set

(X1 \/ (((X2 \/ X3) \/ X5) \/ X6)) \/ X4 is non empty set

(((X2 \/ X3) \/ X5) \/ X6) \/ X4 is set

X1 \/ ((((X2 \/ X3) \/ X5) \/ X6) \/ X4) is non empty set

y is set

Y2 is set

Y3 is set

Y4 is set

y is set

Y2 is set

Y3 is set

y is set

Y2 is set

y is set

y is set

Y2 is set

Y3 is set

Y4 is set

Y5 is set

X3 \/ X5 is set

X2 \/ (X3 \/ X5) is set

(X2 \/ (X3 \/ X5)) \/ X6 is set

((X2 \/ (X3 \/ X5)) \/ X6) \/ X4 is set

(X3 \/ X5) \/ X6 is set

X2 \/ ((X3 \/ X5) \/ X6) is set

(X2 \/ ((X3 \/ X5) \/ X6)) \/ X4 is set

((X3 \/ X5) \/ X6) \/ X4 is set

X2 \/ (((X3 \/ X5) \/ X6) \/ X4) is set

X5 \/ X6 is set

X3 \/ (X5 \/ X6) is set

(X3 \/ (X5 \/ X6)) \/ X4 is set

(X5 \/ X6) \/ X4 is set

X3 \/ ((X5 \/ X6) \/ X4) is set

X6 \/ X4 is set

X5 \/ (X6 \/ X4) is set

X1 is set

X2 is set

X3 is set

{X1,X2,X3} is set

X4 is set

X1 is set

X2 is set

X3 is set

X4 is set

{X1,X2,X3,X4} is set

X5 is set

X1 is set

X2 is set

X3 is set

X4 is set

X5 is set

{X1,X2,X3,X4,X5} is set

Z is set

Y is set

Y is set

Y is set

Y is set

Y is set

Y is set

X1 is set

X2 is set

X3 is set

X4 is set

X5 is set

X6 is set

{X1,X2,X3,X4,X5,X6} is set

Y is set

y is set

y is set

y is set

y is set

y is set

y is set

y is set