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,
    ? [UTTERANCE_426_A_DICK_1952_4,R_0426_0009__HE,R_0426_0010__GRUNTED] :
      ( r_0426_0009__he(R_0426_0009__HE)
      & r_0426_0010__grunted(R_0426_0010__GRUNTED)
      & has_arg0(R_0426_0010__GRUNTED,R_0426_0009__HE)
      & has_arg1(R_0426_0010__GRUNTED,UTTERANCE_426_A_DICK_1952_4)
      & utterance_426_a_dick_1952_4(UTTERANCE_426_A_DICK_1952_4)
      & has_part1(UTTERANCE_426_A_DICK_1952_4,R_0426_0004__N_APOS_T)
      & ~ ? [R_0426_0002__IT,R_0426_0005__WORTH,R_0426_0003__IS] :
            ( r_0426_0002__It(R_0426_0002__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_nim16(R_0426_0005__WORTH,R_0426_0002__IT)
            & has_arg0(R_0426_0003__IS,R_0426_0002__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))