arc(utterance_426_a_dick_1952_4, r_0426_0004__n_apos_t, part1).
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_0002__It, nim16).
arc(r_0426_0010__grunted, utterance_426_a_dick_1952_4, arg1).
arc(r_0426_0010__grunted, r_0426_0009__he, arg0).

fof(formula,axiom,
    ? [R_426_10_GRUNTED,R_426_9_HE,UTTERANCE_426_A_DICK_1952_4] :
      ( he(R_426_9_HE)
      & grunted(R_426_10_GRUNTED,R_426_9_HE,UTTERANCE_426_A_DICK_1952_4)
      & utterance_426_a_dick_1952_4(UTTERANCE_426_A_DICK_1952_4)
      & part1(UTTERANCE_426_A_DICK_1952_4,R_426_4_N_APOS_T)
      & ~ ? [R_426_3_IS,R_426_5_WORTH,R_426_2_IT] :
            ( it(R_426_2_IT)
            & is(R_426_3_IS,R_426_2_IT,R_426_5_WORTH)
            & worth(R_426_5_WORTH)
            & nim16(R_426_5_WORTH,R_426_2_IT) ) ) ).

( (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))