我发现defs循环，主语由其动词定义，但动词未定义！那么如何定义它们呢？

通告定义

初始化：初始化变量。可以在声明时完成。

赋值：为变量赋值。它可以在任何地方完成，只有使用final-identifier一次。

声明：向变量声明值。

[更新，尝试通过lambda calc理解主题]

D(x type) = (λx.x is declared with type) 
A(y D(x type)) = (λy.y is assigned to D(x type))

%Then after some beta reductions we get initialization.
D(x type) me human                  // "me" declared with type "human"
A(y (D(x type) me human)) asking    // "asking" assigned to the last declaration

%if the last two statemets are valid, an initialization exists. Right?