A B
()(A B)
(C  (D) E -a -1.1)
F
( A (B (C) D 1)
  (E F)     )