джек(Х)
джек (личность)
джек(Х,Х)
джек(Х.Х)
джек( . )
f(Y,Z)
Х
джек (человек)
джек(23,23)
джек (12,23)
джек(12,23)
Z
да: Х=человек
нет
да: Х=23
да
да: X=f(Y,Z)
да: X=Z