"
'
{
[
(
}
]
)
.
_
:
:?
,
;
(,a)
(a,)
as a
: a
in a
(op __<__ :?##)
(var __<__ :? bb)
(pred __<__ :? bb)
(pred __<__ :? ##)
(pred __<__ :? bb*BB)
(pred __<__ :? ## * --)
forall! a: v . x
forall a: v .! x
exists a: v .! x
exists ! a: v . x
exists! a: v .! x
pred
var
op
a and b
then
if then
if
if a then
if a then if
\ (a@(b,c)@ : S * S) . a