Alphabet

0:N
even:N → N → B
false:B
g:N → B
h:N → (N → B) → N → B
not:B → B
rec:(N → (N → B) → N → B) → B → N → B
true:B

Variables

F:N → (N → B) → N → B
Z:N → B
U:N
V:N
I:N → B
P:N
X1:N
Y1:N

Rules

rec · F · (Z · 0)⇒Z
g · U⇒true
h · V · I · P⇒not · (I · P)
not · true⇒false
not · false⇒true
even · X1 · Y1⇒rec · h · (g · X1) · Y1