WOLFRAM
|
DEMONSTRATIONS PROJECT
F
o
r
m
s
f
o
r
S
y
l
l
o
g
i
s
m
s
c
a
t
e
g
o
r
i
c
a
l
p
r
o
p
o
s
i
t
i
o
n
s
f
i
g
u
r
e
s
s
y
l
l
o
g
i
s
t
i
c
f
o
r
m
s
n
a
m
e
s
o
f
s
y
l
l
o
g
i
s
m
s
v
a
l
i
d
/
n
o
n
v
a
l
i
d
s
y
l
l
o
g
i
s
t
i
c
f
o
r
m
v
a
l
i
d
1
n
o
n
v
a
l
i
d
1
l
a
n
g
u
a
g
e
t
r
a
d
i
t
i
o
n
a
l
u
n
i
v
e
r
s
a
l
a
f
f
i
r
m
a
t
i
v
e
p
r
o
p
o
s
i
t
i
o
n
A
A
l
l
S
i
s
P
S
a
P
u
n
i
v
e
r
s
a
l
n
e
g
a
t
i
v
e
p
r
o
p
o
s
i
t
i
o
n
E
N
o
S
i
s
P
S
e
P
p
a
r
t
i
c
u
l
a
r
a
f
f
i
r
m
a
t
i
v
e
p
r
o
p
o
s
i
t
i
o
n
I
S
o
m
e
S
i
s
P
S
i
P
p
a
r
t
i
c
u
l
a
r
n
e
g
a
t
i
v
e
p
r
o
p
o
s
i
t
i
o
n
O
S
o
m
e
S
i
s
n
o
t
P
S
o
P
T
h
i
s
D
e
m
o
n
s
t
r
a
t
i
o
n
s
h
o
w
s
c
a
t
e
g
o
r
i
c
a
l
p
r
o
p
o
s
i
t
i
o
n
s
,
s
y
l
l
o
g
i
s
t
i
c
f
i
g
u
r
e
s
,
a
n
d
2
5
6
s
y
l
l
o
g
i
s
t
i
c
f
o
r
m
s
,
o
f
w
h
i
c
h
2
4
a
r
e
v
a
l
i
d
s
y
l
l
o
g
i
s
m
s
.