3.1.2 Dynamic context
Under dynEnv.funcDefn, the second para ends with "...
the function's body and a
list of variables, which are the function's formal parameters,
of the form "(Expr, Variable1, ,..., Variablen)"."  
As currently worded, it seems that "the function's body"
is one item, and "a list of variables, which are the function's
formal parameters, of the form (Expr, Variable1, ...., Variablen)"
is another item.  In parsing termsinology, the question is the 
precedence of "and" and "which" in the quoted sentence.  
This can be fixed
as follows: "...if the function is locally declared, the 
function definition is a tuple (Expr, Variable1, ... Variablen),
where Expr is the function body and Variable1 through Variablen
are the function's formal parameters."