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, r_0009_0017__Mr_dot__r_0009_0018__Matchett, arg0).
arc(r_0009_0019__said, utterance_9_a_wsj_1640_4, arg1).
arc(r_0009_0021__adding, 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_0025___apos_s, r_0009_0026__a_r_0009_0029__bet, prd).
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(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(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_9_8_STEALING,R_9_10_SECRETS,Z_9_A_WSJ_1640_54,R_9_21_ADDING,UTTERANCE_9_A_WSJ_1640_60,R_9_25__APOS_S,R_9_26_A_BET,R_9_28_GOOD,R_9_27_PRETTY,R_9_19_SAID,R_9_17_MR_DOT_MATCHETT,UTTERANCE_9_A_WSJ_1640_4,R_9_3_CAN_HAVE,R_9_2_YOU,R_9_5_A_DOZEN_COMPETITORS,R_9_12_THE_TIME,R_9_13_SAME] :
      ( pretty(R_9_27_PRETTY)
      & mr_dot_Matchett(R_9_17_MR_DOT_MATCHETT)
      & you(R_9_2_YOU)
      & a_dozen_competitors(R_9_5_A_DOZEN_COMPETITORS)
      & same(R_9_13_SAME)
      & stealing(R_9_8_STEALING,R_9_5_A_DOZEN_COMPETITORS,R_9_10_SECRETS)
      & secrets(R_9_10_SECRETS)
      & gen(R_9_10_SECRETS,R_9_2_YOU)
      & z_9_a_wsj_1640_54(Z_9_A_WSJ_1640_54)
      & conj1(Z_9_A_WSJ_1640_54,R_9_21_ADDING)
      & adding(R_9_21_ADDING,R_9_17_MR_DOT_MATCHETT,UTTERANCE_9_A_WSJ_1640_60)
      & utterance_9_a_wsj_1640_60(UTTERANCE_9_A_WSJ_1640_60)
      & part1(UTTERANCE_9_A_WSJ_1640_60,R_9_25__APOS_S)
      & _apos_s(R_9_25__APOS_S,R_9_32_N_APOS_T,R_9_26_A_BET)
      & ~ ? [R_9_31_WO_GET_CAUGHT,Z_9_A_WSJ_1640_93] : wo_get_caught(R_9_31_WO_GET_CAUGHT,Z_9_A_WSJ_1640_93,R_9_5_A_DOZEN_COMPETITORS)
      & a_bet(R_9_26_A_BET)
      & attrib72(R_9_26_A_BET,R_9_28_GOOD)
      & good(R_9_28_GOOD)
      & qual73(R_9_28_GOOD,R_9_27_PRETTY)
      & conj2(Z_9_A_WSJ_1640_54,R_9_19_SAID)
      & said(R_9_19_SAID,R_9_17_MR_DOT_MATCHETT,UTTERANCE_9_A_WSJ_1640_4)
      & utterance_9_a_wsj_1640_4(UTTERANCE_9_A_WSJ_1640_4)
      & part1(UTTERANCE_9_A_WSJ_1640_4,R_9_3_CAN_HAVE)
      & can_have(R_9_3_CAN_HAVE,R_9_2_YOU,R_9_5_A_DOZEN_COMPETITORS)
      & at_nim33(R_9_3_CAN_HAVE,R_9_12_THE_TIME)
      & the_time(R_9_12_THE_TIME)
      & attrib36(R_9_12_THE_TIME,R_9_13_SAME) ) ).

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