( (lambda (z) (define x (lambda (x) (lambda (y z) (y x)))) ( ( (x (lambda () z)) (lambda (z) z) 3 ) ) ) 2)

ExpressionEnvComment 1((lambda1(z) op1 op2) 2)GE(op1 op2) 2 E1 3Op1 (define x (lambda2 (x) (lambda3(y z) (y x)))) E1 4Op2 (((x (lambda5 () z)) (lambda4(z) z) 3)) ((op3 (lambda4 (z) z) 3)) E1 5op3 (x (lambda5 () z)) E1l3 6((l3 l4 3))E1 7(y x)E3(l4 l5) 8ZE4l5 9(l5)E1 10ZE52

L1:p: z b: (define x...) (...) E1 z: 2 x:L2 L2:p: x b: (lambda (y z) (y x))) L5:p: - b: z E2 x:L5 L3:p: y,z b: (y x) L4:p: z b: z E3 y: L4 z: 3 E4 z: L5 E5 GE