( (IP-MAT (PULQ <ldquo>)
          (utterance-OB1 (IP-MAT (NP-SBJ (PRO It;{it}))
                                 (BEP;_La_ is;{be})
                                 (NEG;_clitic_ n<apos>t;{not})
                                 (ADJP-PRD (ADJ worth;{worth})
                                           (NP (PRO it;{it})))))
          (PUNC ,)
          (PURQ <rdquo>)
          (NP-SBJ;{DORLE} (PRO he;{he}))
          (VBD;_Tr_ grunted;{grunt})
          (PUNC .))
  (ID 426_a_dick_1952))

arc(r_0426_0003__is,r_0426_0002__It,arg0).
arc(r_0426_0003__is,r_0426_0005__worth,prd).
arc(r_0426_0004__n_apos_t,r_0426_0003__is,keep_scope).
arc(r_0426_0005__worth,r_0426_0006__it,nim).
arc(r_0426_0010__grunted,r_0426_0009__he,arg0).
arc(r_0426_0010__grunted,z_0426_5002__utterance,arg1).
arc(z_0426_5002__utterance,r_0426_0004__n_apos_t,part1).

fof(formula,axiom,
    ? [R_0426_0009__HE,Z_0426_5002__UTTERANCE,R_0426_0010__GRUNTED] :
      ( r_0426_0009__he(R_0426_0009__HE)
      & r_0426_0010__grunted(R_0426_0010__GRUNTED)
      & has_arg1(R_0426_0010__GRUNTED,Z_0426_5002__UTTERANCE)
      & z_0426_5002__utterance(Z_0426_5002__UTTERANCE)
      & has_part1(Z_0426_5002__UTTERANCE,R_0426_0004__N_APOS_T)
      & ~ ? [R_0426_0002__IT,R_0426_0006__IT,R_0426_0005__WORTH,R_0426_0003__IS] :
            ( r_0426_0002__It(R_0426_0002__IT)
            & r_0426_0006__it(R_0426_0006__IT)
            & r_0426_0003__is(R_0426_0003__IS)
            & has_prd(R_0426_0003__IS,R_0426_0005__WORTH)
            & r_0426_0005__worth(R_0426_0005__WORTH)
            & has_nim(R_0426_0005__WORTH,R_0426_0006__IT)
            & has_arg0(R_0426_0003__IS,R_0426_0002__IT) )
      & has_arg0(R_0426_0010__GRUNTED,R_0426_0009__HE) ) ).