( (FRAG (PULQ <ldquo>)
        (ADJP-PRD (ADVP (ADV Quite;{quite}))
                  (ADJ complex;{complex}))
        (PUNC ,)
        (CP-QUE-TAG (IP-SUB (BEP;_La_ is;{be})
                            (NEG;_clitic_ n<apos>t;{not})
                            (NP-SBJ;{GUN} (PRO it;{it}))))
        (PUNC ?))
  (ID 376_a_dick_1952))

arc(r_0376_0003__complex,r_0376_0002__Quite,qual).
arc(r_0376_0005__is,r_0376_0007__it,arg0).
arc(r_0376_0006__n_apos_t,r_0376_0005__is,keep_scope).
arc(z_0376_5006,r_0376_0003__complex,prd).
arc(z_0376_5006,r_0376_0006__n_apos_t,tag).

fof(formula,axiom,
    ? [R_0376_0002__QUITE,R_0376_0003__COMPLEX,Z_0376_5006] :
      ( r_0376_0002__Quite(R_0376_0002__QUITE)
      & z_0376_5006(Z_0376_5006)
      & has_tag(Z_0376_5006,R_0376_0006__N_APOS_T)
      & ~ ? [R_0376_0007__IT,R_0376_0005__IS] :
            ( r_0376_0007__it(R_0376_0007__IT)
            & r_0376_0005__is(R_0376_0005__IS)
            & has_arg0(R_0376_0005__IS,R_0376_0007__IT) )
      & has_prd(Z_0376_5006,R_0376_0003__COMPLEX)
      & r_0376_0003__complex(R_0376_0003__COMPLEX)
      & has_qual(R_0376_0003__COMPLEX,R_0376_0002__QUITE) ) ).