arc(utterance_9_a_wsj_1640_4, r_0009_0003__can, part1).
arc(utterance_9_a_wsj_1640_60, r_0009_0025___apos_s, part1).
arc(r_0009_0003__can, r_0009_0004__have, scope).
arc(r_0009_0004__have, r_0009_0002__You, arg0).
arc(r_0009_0004__have, r_0009_0005__a_r_0009_0006__dozen_r_0009_0007__competitors, arg1).
arc(r_0009_0004__have, r_0009_0012__the_r_0009_0014__time, r_0009_0011__at_nim33).
arc(r_0009_0008__stealing, r_0009_0005__a_r_0009_0006__dozen_r_0009_0007__competitors, arg0).
arc(r_0009_0008__stealing, r_0009_0010__secrets, arg1).
arc(r_0009_0010__secrets, r_0009_0002__You, gen).
arc(r_0009_0012__the_r_0009_0014__time, r_0009_0013__same, attrib36).
arc(r_0009_0019__said, utterance_9_a_wsj_1640_4, arg1).
arc(r_0009_0019__said, r_0009_0017__Mr_dot__r_0009_0018__Matchett, arg0).
arc(r_0009_0021__adding, utterance_9_a_wsj_1640_60, arg1).
arc(r_0009_0021__adding, r_0009_0017__Mr_dot__r_0009_0018__Matchett, arg0).
arc(r_0009_0025___apos_s, r_0009_0026__a_r_0009_0029__bet, prd).
arc(r_0009_0025___apos_s, r_0009_0031__wo, arg0).
arc(r_0009_0025___apos_s, r_0009_0032__n_apos_t, arg0).
arc(r_0009_0026__a_r_0009_0029__bet, r_0009_0028__good, attrib72).
arc(r_0009_0028__good, r_0009_0027__pretty, qual73).
arc(r_0009_0031__wo, r_0009_0033__get, scope).
arc(r_0009_0032__n_apos_t, r_0009_0031__wo, keep_scope).
arc(r_0009_0033__get, r_0009_0034__caught, scope).
arc(r_0009_0034__caught, r_0009_0005__a_r_0009_0006__dozen_r_0009_0007__competitors, arg1).
arc(r_0009_0034__caught, z_000_9_a_wsj_1640_93, arg0).
arc(z_000_9_a_wsj_1640_54, r_0009_0019__said, scope).
arc(z_000_9_a_wsj_1640_54, r_0009_0021__adding, restriction).

fof(formula,axiom,
    ? [R_0009_0005__A_R_0009_0006__DOZEN_R_0009_0007__COMPETITORS,R_0009_0002__YOU,R_0009_0010__SECRETS,R_0009_0008__STEALING,R_0009_0013__SAME,R_0009_0012__THE_R_0009_0014__TIME,R_0009_0003__CAN_R_0009_0004__HAVE,UTTERANCE_9_A_WSJ_1640_4,R_0009_0017__MR_DOT__R_0009_0018__MATCHETT,R_0009_0019__SAID,R_0009_0027__PRETTY,R_0009_0028__GOOD,R_0009_0026__A_R_0009_0029__BET,Z_000_9_A_WSJ_1640_93,R_0009_0031__WO_R_0009_0033__GET_R_0009_0034__CAUGHT,R_0009_0025___APOS_S,UTTERANCE_9_A_WSJ_1640_60,R_0009_0021__ADDING,Z_000_9_A_WSJ_1640_54] :
      ( r_0009_0002__You(R_0009_0002__YOU)
      & r_0009_0005__a_r_0009_0006__dozen_r_0009_0007__competitors(R_0009_0005__A_R_0009_0006__DOZEN_R_0009_0007__COMPETITORS)
      & r_0009_0013__same(R_0009_0013__SAME)
      & r_0009_0017__Mr_dot__r_0009_0018__Matchett(R_0009_0017__MR_DOT__R_0009_0018__MATCHETT)
      & r_0009_0027__pretty(R_0009_0027__PRETTY)
      & z_000_9_a_wsj_1640_93(Z_000_9_A_WSJ_1640_93)
      & z_000_9_a_wsj_1640_54(Z_000_9_A_WSJ_1640_54)
      & has_conj1(Z_000_9_A_WSJ_1640_54,R_0009_0021__ADDING)
      & r_0009_0021__adding(R_0009_0021__ADDING)
      & has_arg0(R_0009_0021__ADDING,R_0009_0017__MR_DOT__R_0009_0018__MATCHETT)
      & has_arg1(R_0009_0021__ADDING,UTTERANCE_9_A_WSJ_1640_60)
      & utterance_9_a_wsj_1640_60(UTTERANCE_9_A_WSJ_1640_60)
      & has_part1(UTTERANCE_9_A_WSJ_1640_60,R_0009_0025___APOS_S)
      & r_0009_0025___apos_s(R_0009_0025___APOS_S)
      & has_arg0(R_0009_0025___APOS_S,R_0009_0032__N_APOS_T)
      & ~ r_0009_0031__wo_r_0009_0033__get_r_0009_0034__caught(R_0009_0031__WO_R_0009_0033__GET_R_0009_0034__CAUGHT)
      & has_arg0(R_0009_0025___APOS_S,R_0009_0031__WO_R_0009_0033__GET_R_0009_0034__CAUGHT)
      & r_0009_0031__wo_r_0009_0033__get_r_0009_0034__caught(R_0009_0031__WO_R_0009_0033__GET_R_0009_0034__CAUGHT)
      & has_arg0(R_0009_0031__WO_R_0009_0033__GET_R_0009_0034__CAUGHT,Z_000_9_A_WSJ_1640_93)
      & has_arg1(R_0009_0031__WO_R_0009_0033__GET_R_0009_0034__CAUGHT,R_0009_0005__A_R_0009_0006__DOZEN_R_0009_0007__COMPETITORS)
      & has_prd(R_0009_0025___APOS_S,R_0009_0026__A_R_0009_0029__BET)
      & r_0009_0026__a_r_0009_0029__bet(R_0009_0026__A_R_0009_0029__BET)
      & has_attrib72(R_0009_0026__A_R_0009_0029__BET,R_0009_0028__GOOD)
      & r_0009_0028__good(R_0009_0028__GOOD)
      & has_qual73(R_0009_0028__GOOD,R_0009_0027__PRETTY)
      & has_conj2(Z_000_9_A_WSJ_1640_54,R_0009_0019__SAID)
      & r_0009_0019__said(R_0009_0019__SAID)
      & has_arg0(R_0009_0019__SAID,R_0009_0017__MR_DOT__R_0009_0018__MATCHETT)
      & has_arg1(R_0009_0019__SAID,UTTERANCE_9_A_WSJ_1640_4)
      & utterance_9_a_wsj_1640_4(UTTERANCE_9_A_WSJ_1640_4)
      & has_part1(UTTERANCE_9_A_WSJ_1640_4,R_0009_0003__CAN_R_0009_0004__HAVE)
      & r_0009_0003__can_r_0009_0004__have(R_0009_0003__CAN_R_0009_0004__HAVE)
      & has_r_0009_0011__at_nim33(R_0009_0003__CAN_R_0009_0004__HAVE,R_0009_0012__THE_R_0009_0014__TIME)
      & r_0009_0012__the_r_0009_0014__time(R_0009_0012__THE_R_0009_0014__TIME)
      & has_attrib36(R_0009_0012__THE_R_0009_0014__TIME,R_0009_0013__SAME)
      & has_arg1(R_0009_0003__CAN_R_0009_0004__HAVE,R_0009_0005__A_R_0009_0006__DOZEN_R_0009_0007__COMPETITORS)
      & has_arg0(R_0009_0003__CAN_R_0009_0004__HAVE,R_0009_0002__YOU)
      & r_0009_0008__stealing(R_0009_0008__STEALING)
      & has_arg1(R_0009_0008__STEALING,R_0009_0010__SECRETS)
      & r_0009_0010__secrets(R_0009_0010__SECRETS)
      & has_gen(R_0009_0010__SECRETS,R_0009_0002__YOU)
      & has_arg0(R_0009_0008__STEALING,R_0009_0005__A_R_0009_0006__DOZEN_R_0009_0007__COMPETITORS) ) ).

( (IP-MAT (PULQ <ldquo>)
          (utterance-OB1 (IP-MAT (NP-SBJ;{GENERIC} (PRO You;{you}))
                                 (MD;_cat_Vi_ can;{can})
                                 (IP-INF-CAT (HV;_Tn_ have;{have})
                                             (NP-OB1;{COMPETITORS} (D a;{a})
                                                                   (NUM dozen;{dozen})
                                                                   (NS competitors;{competitor})
                                                                   (IP-PPL (VAG;_Tn_ stealing;{steal})
                                                                           (NP-OB1 (NP-GEN;{GENERIC} (PRO;_genm_ your;{your}))
                                                                                   (NS secrets;{secret}))))
                                             (PP-NIM (P-ROLE at;{at})
                                                     (NP (D the;{the})
                                                         (ADJP (ADJ same;{same}))
                                                         (N time;{time}))))))
          (PUNC ,)
          (PURQ <rdquo>)
          (NP-SBJ;{MATCHETT} (N Mr<dot>)
                             (NPR Matchett;{Matchett}))
          (VBD;_Tr_ said;{say})
          (PUNC ,)
          (PP-SCON (IP-PPL2 (VAG;_Tr_ adding;{add})
                            (PUNC :)
                            (utterance-OB1 (IP-MAT (PULQ <ldquo>)
                                                   (NP-SBJ (PRO;_provisional_ It;{it}))
                                                   (BEP;_Ln_ <apos>s;{be})
                                                   (NP-PRD (D a;{a})
                                                           (ADJP (ADVP (ADV pretty;{pretty}))
                                                                 (ADJ good;{good}))
                                                           (N bet;{bet}))
                                                   (CP-THT-NSBJ (IP-SUB (NP-SBJ;{COMPETITORS} (PRO they;{they}))
                                                                        (MD;_cat_Vi_ wo;{will})
                                                                        (NEG;_clitic_ n<apos>t;{not})
                                                                        (IP-INF-CAT (VB;_cat_VePASS_ get;{get})
                                                                                    (IP-PPL-CAT (NP-LGS *)
                                                                                                (VVN;_Tn_ caught;{catch})))))))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 9_a_wsj_1640))