> (<sentence> 1) (lambda (l) k) > (<sentence> 1) (h i) > (<sentence> 2) ((q g) n) > (<sentence> 2) (lambda (p) s) > (<sentence> 2) ((lambda (d) y) n) > (<sentence> 3) (lambda (m) o) > (<sentence> 3) (o (m (lambda (v) w))) > (<sentence> 3) d > (<sentence> 4) (lambda (f) ((m h) j)) > (<sentence> 4) (lambda (e) (lambda (f) j)) > (<sentence> 4) (x (lambda (i) x)) > (<sentence> 4) (lambda (h) (lambda (y) r)) > (<sentence> 10) (lambda (y) (c (lambda (f) (lambda (e) (lambda (u) (q f)))))) > (<sentence> 10) (lambda (x) (g ((lambda (d) (lambda (v) ((b i) (lambda (a) b)))) a))) > (<sentence> 10) (x (lambda (e) l)) >