:: SUBSET_1 semantic presentation

X is set
bool X is set
X is set
x is set
d1 is set
{X,x,d1} is set
d2 is set
{X,x,d1,d2} is set
d1 is set
{X,x,d1,d2,d1} is set
d2 is set
{X,x,d1,d2,d1,d2} is set
c7 is set
{X,x,d1,d2,d1,d2,c7} is set
x is set
{X,x,d1,d2,d1,d2,c7,x} is set
c9 is set
{X,x,d1,d2,d1,d2,c7,x,c9} is set
x is set
{X,x,d1,d2,d1,d2,c7,x,c9,x} is set
X is set
x is set
is non empty trivial set
x is set
X is non empty set
bool X is non empty set
X is non empty set
x is non empty set
[:X,x:] is set
d1 is set
d2 is set
[d2,d1] is non empty set
{d2,d1} is non empty set
{d2} is non empty trivial set
{{d2,d1},{d2}} is non empty set
X is non empty set
x is non empty set
d1 is non empty set
[:X,x,d1:] is set
[:X,x:] is non empty set
[:[:X,x:],d1:] is non empty set
X is non empty set
x is non empty set
d1 is non empty set
d2 is non empty set
[:X,x,d1,d2:] is set
[:X,x,d1:] is non empty set
[:X,x:] is non empty set
[:[:X,x:],d1:] is non empty set
[:[:X,x,d1:],d2:] is non empty set
X is non empty set
bool X is non empty set
x is non empty ( bool X)
d1 is (x)
X is set
bool X is non empty set
x is ( bool X)
d1 is set
X is set
bool X is non empty set
X is set
bool X is non empty set
X is set
(X) is ( bool X)
bool X is non empty set
X is set
bool X is non empty set
(X) is empty trivial ( bool X)
X is set
bool X is non empty set
x is ( bool X)
d1 is ( bool X)
d2 is set
X is set
bool X is non empty set
x is ( bool X)
d1 is ( bool X)
X is set
bool X is non empty set
x is ( bool X)
d1 is set
X is set
bool X is non empty set
x is ( bool X)
X \ x is set
d1 is ( bool X)
d2 is ( bool X)
X \ d2 is set
X \ d1 is set
X /\ d2 is set
{} \/ (X /\ d2) is set
X \ X is set
(X \ X) \/ (X /\ d2) is set
d1 is ( bool X)
x \/ d1 is set
x \+\ d1 is set
x \ d1 is set
d1 \ x is set
(x \ d1) \/ (d1 \ x) is set
X is set
x is set
X \ x is set
bool X is non empty set
X is set
bool X is non empty set
x is ( bool X)
d1 is set
x \ d1 is set
(x,d1) is ( bool x)
bool x is non empty set
X is set
bool X is non empty set
x is ( bool X)
d1 is set
x /\ d1 is set
X is set
bool X is non empty set
x is set
d1 is ( bool X)
x /\ d1 is set
(X,d1,x) is ( bool X)
X is set
bool X is non empty set
x is ( bool X)
d1 is ( bool X)
d2 is ( bool X)
(X,d1,d2) is ( bool X)
d1 is (X)
d1 is (X)
X is set
bool X is non empty set
x is ( bool X)
d1 is ( bool X)
d2 is ( bool X)
(X,d1,d2) is ( bool X)
d1 is (X)
d1 is (X)
X is set
bool X is non empty set
x is ( bool X)
d1 is ( bool X)
d2 is ( bool X)
(X,d1,d2) is ( bool X)
d1 is (X)
d1 is (X)
X is set
bool X is non empty set
x is ( bool X)
d1 is ( bool X)
d2 is ( bool X)
(X,d1,d2) is ( bool X)
d1 \ d2 is set
d2 \ d1 is set
(d1 \ d2) \/ (d2 \ d1) is set
d1 is (X)
(X,d1,d2) is ( bool X)
(X,d2,d1) is ( bool X)
d1 is (X)
X is set
(X) is ( bool X)
bool X is non empty set
(X) is empty trivial ( bool X)
(X,(X)) is ( bool X)
X \ (X) is set
X is set
bool X is non empty set
(X) is ( bool X)
x is ( bool X)
(X,x) is ( bool X)
X \ x is set
(X,x,(X,x)) is ( bool X)
X is set
bool X is non empty set
(X) is ( bool X)
x is ( bool X)
(X,x,(X)) is ( bool X)
X is set
bool X is non empty set
x is ( bool X)
(X,x) is ( bool X)
X \ x is set
d1 is ( bool X)
(X,d1) is ( bool X)
X \ d1 is set
(X,(X,d1)) is ( bool X)
(X,(X,d1)) is ( bool X)
X \ (X,d1) is set
(X,(X,x)) is ( bool X)
(X,(X,x)) is ( bool X)
X \ (X,x) is set
X is set
bool X is non empty set
x is ( bool X)
d1 is ( bool X)
(X,x,d1) is ( bool X)
(X,d1) is ( bool X)
X \ d1 is set
(X,x,(X,d1)) is ( bool X)
(X,x,X) is ( bool X)
(X,(X,x,X),d1) is ( bool X)
X is set
bool X is non empty set
x is ( bool X)
(X,x) is ( bool X)
X \ x is set
d1 is ( bool X)
(X,x,d1) is ( bool X)
(X,(X,x,d1)) is ( bool X)
X \ (X,x,d1) is set
(X,(X,x),d1) is ( bool X)
(X,x) is ( bool X)
(X,X,d1) is ( bool X)
(X,(X,x),(X,X,d1)) is ( bool X)
X is set
bool X is non empty set
x is ( bool X)
(X,x) is ( bool X)
X \ x is set
d1 is ( bool X)
(X,x,d1) is ( bool X)
x \ d1 is set
d1 \ x is set
(x \ d1) \/ (d1 \ x) is set
(X,(X,x,d1)) is ( bool X)
X \ (X,x,d1) is set
(X,x,d1) is ( bool X)
(X,d1) is ( bool X)
X \ d1 is set
(X,(X,x),(X,d1)) is ( bool X)
(X,(X,x,d1),(X,(X,x),(X,d1))) is ( bool X)
(X,x,d1) is ( bool X)
(X,(X,x,d1)) is ( bool X)
(X,X,x) is ( bool X)
(X,(X,X,x),d1) is ( bool X)
(X,(X,(X,x,d1)),(X,(X,X,x),d1)) is ( bool X)
(X,(X,x,d1),(X,(X,x,d1))) is ( bool X)
X is set
bool X is non empty set
x is ( bool X)
(X,x) is ( bool X)
X \ x is set
d1 is ( bool X)
(X,d1) is ( bool X)
X \ d1 is set
(X,(X,d1)) is ( bool X)
X \ (X,d1) is set
X is set
bool X is non empty set
x is ( bool X)
(X,x) is ( bool X)
X \ x is set
d1 is ( bool X)
(X,d1) is ( bool X)
X \ d1 is set
(X,(X,x)) is ( bool X)
X \ (X,x) is set
X is set
bool X is non empty set
(X) is empty trivial ( bool X)
x is ( bool X)
(X,x) is ( bool X)
X \ x is set
X is set
bool X is non empty set
(X) is ( bool X)
x is ( bool X)
(X,x) is ( bool X)
X \ x is set
(X,x,(X,x)) is ( bool X)
X is set
bool X is non empty set
x is set
d1 is ( bool X)
(X,d1) is ( bool X)
X \ d1 is set
X is set
bool X is non empty set
x is ( bool X)
(X,x) is ( bool X)
X \ x is set
d1 is ( bool X)
(X,x,d1) is ( bool X)
(X,(X,x,d1)) is ( bool X)
X \ (X,x,d1) is set
X is set
bool X is non empty set
x is ( bool X)
(X,x) is ( bool X)
X \ x is set
d1 is ( bool X)
(X,x,d1) is ( bool X)
(X,(X,x,d1)) is ( bool X)
X \ (X,x,d1) is set
X is set
bool X is non empty set
x is ( bool X)
d1 is ( bool X)
(X,d1) is ( bool X)
X \ d1 is set
d2 is set
d2 is set
(X,d1) is ( bool X)
X is set
bool X is non empty set
x is ( bool X)
d1 is ( bool X)
(X,d1) is ( bool X)
X \ d1 is set
(X,(X,d1)) is ( bool X)
X \ (X,d1) is set
X is set
bool X is non empty set
x is ( bool X)
(X,x) is ( bool X)
X \ x is set
d1 is ( bool X)
(X,d1) is ( bool X)
X \ d1 is set
d2 is set
d2 is set
X is set
bool X is non empty set
x is ( bool X)
d1 is ( bool X)
d2 is ( bool X)
(X,d2) is ( bool X)
X \ d2 is set
X is set
bool X is non empty set
x is ( bool X)
d1 is ( bool X)
d2 is set
X is set
bool X is non empty set
x is ( bool X)
d1 is set
X is set
bool X is non empty set
x is ( bool X)
(X,x) is ( bool X)
X \ x is set
d1 is (X)
X is set
bool X is non empty set
x is ( bool X)
d1 is ( bool X)
(X,d1) is ( bool X)
X \ d1 is set
d2 is set
d2 is set
d1 is (X)
X is set
bool X is non empty set
x is ( bool X)
d1 is ( bool X)
(X,d1) is ( bool X)
X \ d1 is set
d2 is (X)
d1 is (X)
X is set
bool X is non empty set
x is ( bool X)
d1 is ( bool X)
(X,d1) is ( bool X)
X \ d1 is set
d2 is (X)
d1 is (X)
X is set
bool X is non empty set
x is (X)
{x} is non empty trivial set
d1 is set
X is set
bool X is non empty set
x is (X)
d1 is (X)
{x,d1} is non empty set
d2 is set
X is set
bool X is non empty set
x is (X)
d1 is (X)
d2 is (X)
{x,d1,d2} is non empty set
d1 is set
X is set
bool X is non empty set
x is (X)
d1 is (X)
d2 is (X)
d1 is (X)
{x,d1,d2,d1} is non empty set
d2 is set
X is set
bool X is non empty set
x is (X)
d1 is (X)
d2 is (X)
d1 is (X)
d2 is (X)
{x,d1,d2,d1,d2} is non empty set
c7 is set
X is set
bool X is non empty set
x is (X)
d1 is (X)
d2 is (X)
d1 is (X)
d2 is (X)
c7 is (X)
{x,d1,d2,d1,d2,c7} is non empty set
x is set
X is set
bool X is non empty set
x is (X)
d1 is (X)
d2 is (X)
d1 is (X)
d2 is (X)
c7 is (X)
x is (X)
{x,d1,d2,d1,d2,c7,x} is non empty set
c9 is set
X is set
bool X is non empty set
x is (X)
d1 is (X)
d2 is (X)
d1 is (X)
d2 is (X)
c7 is (X)
x is (X)
c9 is (X)
{x,d1,d2,d1,d2,c7,x,c9} is non empty set
x is set
X is set
{X} is non empty trivial set
x is set
bool x is non empty set
F1() is set
bool F1() is non empty set
X is set
x is set
x is ( bool F1())
d1 is set
d2 is set
F1() is set
bool F1() is non empty set
F2() is ( bool F1())
F3() is ( bool F1())
X is (F1())
d1 is non empty set
d2 is set
d1 is non empty set
X is set
the (X) is (X)
X is set
x is set
bool x is non empty set
X is set
x is set
bool x is non empty set
d1 is ( bool x)
F1() is non empty set
bool F1() is non empty set
X is set
x is set
x is ( bool F1())
d1 is (F1())
F1() is set
bool F1() is non empty set
F2() is ( bool F1())
F3() is ( bool F1())
X is set
x is (F1())
X is set
x is (F1())
X is set
bool X is non empty set
x is ( bool X)
(X,x) is ( bool X)
X \ x is set
d1 is ( bool X)
(X,d1) is ( bool X)
X \ d1 is set
(X,(X,d1)) is ( bool X)
X \ (X,d1) is set

bool X is non empty set
x is ( bool X)
X is set
bool X is non empty set
X is set
(X) is ( bool X)
bool X is non empty set
X is set
bool X is non empty set
(X) is (X) ( bool X)
X is non empty set
bool X is non empty set
x is ( bool X)
x is ( bool X)
X is non empty set
bool X is non empty set
(X) is empty trivial (X) ( bool X)

bool X is non empty set
x is empty trivial ( bool X)
d1 is set
X is set
x is set
[:X,x:] is set
d2 is set
d1 is set
d2 is set
[d1,d2] is non empty set
{d1,d2} is non empty set
{d1} is non empty trivial set
{{d1,d2},{d1}} is non empty set
x is (X)
c7 is (x)
[x,c7] is non empty set
{x,c7} is non empty set
{x} is non empty trivial set
{{x,c7},{x}} is non empty set
X is non empty set
bool X is non empty set
x is non empty ( bool X)
d1 is non empty ( bool X)
(X,d1,x) is ( bool X)
d2 is (X)
{d2} is non empty trivial set
(X,d1,{d2}) is ( bool X)
X is non empty set
x is (X)
d1 is (X)
x is set
d1 is set
X is non empty set
bool X is non empty set
the (X) is (X)
{ the (X)} is non empty trivial set
x is ( bool X)
d1 is set
d2 is set
X is trivial set
bool X is non empty set
x is ( bool X)
d1 is set
d2 is set
X is non empty non trivial set
bool X is non empty set
(X) is non empty (X) ( bool X)
X is set
bool X is non empty set
x is ( bool X)
d1 is set
d2 is set
d1 is (X)
d2 is (X)
X is non empty trivial set
x is set
{x} is non empty trivial set
d1 is (X)
{d1} is non empty trivial set
X is non empty set
bool X is non empty set
x is non empty ( bool X)
d1 is (X,x)
{d1} is non empty trivial set
X is non empty non trivial set
x is (X)
d1 is set
d2 is set