math 3 9
a
b
c
set
a
b
c
x
2
x
map
lambda
x
times
2
x
Z
x
x
lambda
x
x
x
x
x
forall
x
geq
x
x
i
0
100
x
i
sum
integer_interval
0
100
lambda
i
power
x
i
C
f
x
0
1
x
2
x
0
1
x
2
x
0
x
x
1
x
2
x
y
t
u
0
t
t
1
0
u
u
1
t
u
x
2
y
3
H
x
a
b
C
H
x
interval
a b
C
x1
xn
P
x1
xn
suchthat
R
lambda
x1
xn
P
F
C
a1 an
restriction
F C
a1 an
H
v1
...
vn
D
A1 ... Am
H D
lambda
v1
...
vn
A1
...
lambda
v1
...
vn
Am
x
2
x
4
plus
x
D
expression-in-x
apply_to_list
union
map
lambda
x
expression-in-x
D
x
D
expression-in-x
map
lambda
x
expression-in-x
D
a b c d
predicate_on_list
lt
list
a b c d
x
R
expression-in-x
predicate_on_list
lt
map
R
lambda
x
expression-in-x
a1 a2 an
max
set
a1 a2 an
x
D
expression-in-x
max
map
lambda
x
expression-in-x
D
a
max
a
x
D
expression-in-x
exists
x
and
in
x D
expression-in-x
x
x
foo
foreign_attribute
http://example.com
other
att
bla