s
h
o
w
r
e
s
u
l
t
s
l
a
n
g
u
a
g
e
o
f
p
r
e
d
i
c
a
t
e
s
S
l
o
v
e
n
i
a
n
E
n
g
l
i
s
h
n
u
m
b
e
r
o
f
e
l
e
m
e
n
t
s
4
n
u
m
b
e
r
o
f
s
t
a
t
e
m
e
n
t
s
1
2
n
u
m
b
e
r
o
f
s
t
a
t
e
m
e
n
t
s
2
4
M
a
k
e
a
m
o
d
e
l
i
n
w
h
i
c
h
a
l
l
s
t
a
t
e
m
e
n
t
s
a
r
e
t
r
u
e
!
s
h
a
p
e
1
2
3
m
a
g
n
i
t
u
d
e
1
2
3
c
o
l
o
r
e
m
p
t
y
a
d
d
n
e
w
f
i
g
u
r
e
r
e
m
o
v
e
l
a
s
t
f
i
g
u
r
e
t
r
y
a
g
a
i
n
¬
W
h
i
t
e
(
B
)
P
e
n
t
a
g
o
n
(
C
)
¬
(
M
e
d
i
u
m
(
D
)
∧
¬
S
q
u
a
r
e
(
A
)
)
T
r
i
a
n
g
l
e
(
B
)
⊻
L
e
f
t
O
f
(
D
,
C
)
¬
(
¬
M
e
d
i
u
m
(
D
)
⇔
L
a
r
g
e
r
(
C
,
C
)
)
G
r
a
y
(
B
)
⇔
L
a
r
g
e
r
(
C
,
C
)
¬
S
m
a
l
l
(
D
)
⇔
R
i
g
h
t
O
f
(
A
,
D
)