{ OR <-- 
    { AND <-- { A , B }
    , OR  <-- 
       { C , D
       , NOT <-- { E }
       }
     }
, OR  <-- { Q }
}