12. 11. 8. 9. 10.
The number Eleven is an even number.
( z0 number :ARG1-of ( z1 even ) :value 11 )
(z0 / number
    :ARG1-of (z1 / even-02)
    :value 11)
The number Eleven is an even number .
z0 :ARG1-of z1
z0 :value 0