23_a_wsj_1640
The Soviets' eavesdropping paid off, however, because they got the contract.

n23_a_wsj_1640 n23_a_wsj_1640__1_1_1_1_1 The n23_a_wsj_1640__1_1_1_2_1 Soviets n23_a_wsj_1640__1_1_1_3_1 ' n23_a_wsj_1640__1_1_2_1 eavesdropping n23_a_wsj_1640__1_2_1 paid n23_a_wsj_1640__1_3_1 off n23_a_wsj_1640__1_4_1 , n23_a_wsj_1640__1_5_1_1 however n23_a_wsj_1640__1_6_1 , n23_a_wsj_1640__1_7_1_1 because n23_a_wsj_1640__1_7_2_1_1_1 they n23_a_wsj_1640__1_7_2_2_1 got n23_a_wsj_1640__1_7_2_3_1_1 the n23_a_wsj_1640__1_7_2_3_2_1 contract n23_a_wsj_1640__1_8_1 . n23_a_wsj_1640__1 IP-MAT n23_a_wsj_1640__1_1 NP-SBJ n23_a_wsj_1640__1->n23_a_wsj_1640__1_1 n23_a_wsj_1640__1_2 VBD;_phr_Vp_ n23_a_wsj_1640__1->n23_a_wsj_1640__1_2 n23_a_wsj_1640__1_3 RP n23_a_wsj_1640__1->n23_a_wsj_1640__1_3 n23_a_wsj_1640__1_4 PUNC n23_a_wsj_1640__1->n23_a_wsj_1640__1_4 n23_a_wsj_1640__1_5 ADVP-NIM n23_a_wsj_1640__1->n23_a_wsj_1640__1_5 n23_a_wsj_1640__1_6 PUNC n23_a_wsj_1640__1->n23_a_wsj_1640__1_6 n23_a_wsj_1640__1_7 PP-SCON n23_a_wsj_1640__1->n23_a_wsj_1640__1_7 n23_a_wsj_1640__1_8 PUNC n23_a_wsj_1640__1->n23_a_wsj_1640__1_8 n23_a_wsj_1640__1_1_1 NP-GEN n23_a_wsj_1640__1_1->n23_a_wsj_1640__1_1_1 n23_a_wsj_1640__1_1_2 N n23_a_wsj_1640__1_1->n23_a_wsj_1640__1_1_2 n23_a_wsj_1640__1_1_1_1 D n23_a_wsj_1640__1_1_1->n23_a_wsj_1640__1_1_1_1 n23_a_wsj_1640__1_1_1_2 NPRS n23_a_wsj_1640__1_1_1->n23_a_wsj_1640__1_1_1_2 n23_a_wsj_1640__1_1_1_3 GENM n23_a_wsj_1640__1_1_1->n23_a_wsj_1640__1_1_1_3 n23_a_wsj_1640__1_1_1_1->n23_a_wsj_1640__1_1_1_1_1 n23_a_wsj_1640__1_1_1_2->n23_a_wsj_1640__1_1_1_2_1 n23_a_wsj_1640__1_1_1_3->n23_a_wsj_1640__1_1_1_3_1 n23_a_wsj_1640__1_1_2->n23_a_wsj_1640__1_1_2_1 n23_a_wsj_1640__1_2->n23_a_wsj_1640__1_2_1 n23_a_wsj_1640__1_3->n23_a_wsj_1640__1_3_1 n23_a_wsj_1640__1_4->n23_a_wsj_1640__1_4_1 n23_a_wsj_1640__1_5_1 ADV n23_a_wsj_1640__1_5->n23_a_wsj_1640__1_5_1 n23_a_wsj_1640__1_5_1->n23_a_wsj_1640__1_5_1_1 n23_a_wsj_1640__1_6->n23_a_wsj_1640__1_6_1 n23_a_wsj_1640__1_7_1 P-CONN n23_a_wsj_1640__1_7->n23_a_wsj_1640__1_7_1 n23_a_wsj_1640__1_7_2 IP-ADV n23_a_wsj_1640__1_7->n23_a_wsj_1640__1_7_2 n23_a_wsj_1640__1_7_1->n23_a_wsj_1640__1_7_1_1 n23_a_wsj_1640__1_7_2_1 NP-SBJ n23_a_wsj_1640__1_7_2->n23_a_wsj_1640__1_7_2_1 n23_a_wsj_1640__1_7_2_2 VBD;_Tn_ n23_a_wsj_1640__1_7_2->n23_a_wsj_1640__1_7_2_2 n23_a_wsj_1640__1_7_2_3 NP-OB1 n23_a_wsj_1640__1_7_2->n23_a_wsj_1640__1_7_2_3 n23_a_wsj_1640__1_7_2_1_1 PRO n23_a_wsj_1640__1_7_2_1->n23_a_wsj_1640__1_7_2_1_1 n23_a_wsj_1640__1_7_2_1_1->n23_a_wsj_1640__1_7_2_1_1_1 n23_a_wsj_1640__1_7_2_2->n23_a_wsj_1640__1_7_2_2_1 n23_a_wsj_1640__1_7_2_3_1 D n23_a_wsj_1640__1_7_2_3->n23_a_wsj_1640__1_7_2_3_1 n23_a_wsj_1640__1_7_2_3_2 N n23_a_wsj_1640__1_7_2_3->n23_a_wsj_1640__1_7_2_3_2 n23_a_wsj_1640__1_7_2_3_1->n23_a_wsj_1640__1_7_2_3_1_1 n23_a_wsj_1640__1_7_2_3_2->n23_a_wsj_1640__1_7_2_3_2_1 n23_a_wsj_1640__1_8->n23_a_wsj_1640__1_8_1
( (IP-MAT (NP-SBJ (NP-GEN;{SOVIETS} (D The;{the})
                                    (NPRS Soviets;{Soviets})
                                    (GENM <apos>))
                  (N eavesdropping;{eavesdropping}))
          (VBD;_phr_Vp_ paid;{pay[off]})
          (RP off;{off})
          (PUNC ,)
          (ADVP-NIM (ADV however;{however}))
          (PUNC ,)
          (PP-SCON (P-CONN because;{because})
                   (IP-ADV (NP-SBJ;{SOVIETS} (PRO they;{they}))
                           (VBD;_Tn_ got;{get})
                           (NP-OB1 (D the;{the})
                                   (N contract;{contract}))))
          (PUNC .))
  (ID 23_a_wsj_1640))



%3 r_0023_0012__got got r_0023_0013__the_r_0023_0014__contract the contract r_0023_0012__got->r_0023_0013__the_r_0023_0014__contract [arg1] r_0023_0001__The_r_0023_0002__Soviets The Soviets r_0023_0012__got->r_0023_0001__The_r_0023_0002__Soviets [arg0] r_0023_0010__because because r_0023_0010__because->r_0023_0012__got [restriction] r_0023_0005__paid_r_0023_0006__off paid off r_0023_0010__because->r_0023_0005__paid_r_0023_0006__off [scope] r_0023_0008__however however r_0023_0005__paid_r_0023_0006__off->r_0023_0008__however [nim] r_0023_0004__eavesdropping eavesdropping r_0023_0005__paid_r_0023_0006__off->r_0023_0004__eavesdropping [arg0] r_0023_0004__eavesdropping->r_0023_0001__The_r_0023_0002__Soviets [gen]
arc(r_0023_0004__eavesdropping,r_0023_0001__The_r_0023_0002__Soviets,gen).
arc(r_0023_0005__paid_r_0023_0006__off,r_0023_0004__eavesdropping,arg0).
arc(r_0023_0005__paid_r_0023_0006__off,r_0023_0008__however,nim).
arc(r_0023_0010__because,r_0023_0005__paid_r_0023_0006__off,scope).
arc(r_0023_0010__because,r_0023_0012__got,restriction).
arc(r_0023_0012__got,r_0023_0001__The_r_0023_0002__Soviets,arg0).
arc(r_0023_0012__got,r_0023_0013__the_r_0023_0014__contract,arg1).



%3 r_0023_0004__eavesdropping eavesdropping r_0023_0001__The_r_0023_0002__Soviets The Soviets r_0023_0004__eavesdropping->r_0023_0001__The_r_0023_0002__Soviets [gen] r_0023_0005__paid_r_0023_0006__off paid off r_0023_0005__paid_r_0023_0006__off->r_0023_0004__eavesdropping [arg0] r_0023_0008__however however r_0023_0005__paid_r_0023_0006__off->r_0023_0008__however [nim] r_0023_0010__because because r_0023_0010__because->r_0023_0005__paid_r_0023_0006__off [conj2] r_0023_0012__got got r_0023_0010__because->r_0023_0012__got [conj1] r_0023_0012__got->r_0023_0001__The_r_0023_0002__Soviets [arg0] r_0023_0013__the_r_0023_0014__contract the contract r_0023_0012__got->r_0023_0013__the_r_0023_0014__contract [arg1]
fof(formula,axiom,
    ? [R_0023_0001__THE_R_0023_0002__SOVIETS,R_0023_0004__EAVESDROPPING,R_0023_0008__HOWEVER,R_0023_0005__PAID_R_0023_0006__OFF,R_0023_0013__THE_R_0023_0014__CONTRACT,R_0023_0012__GOT,R_0023_0010__BECAUSE] :
      ( r_0023_0001__The_r_0023_0002__Soviets(R_0023_0001__THE_R_0023_0002__SOVIETS)
      & r_0023_0008__however(R_0023_0008__HOWEVER)
      & r_0023_0013__the_r_0023_0014__contract(R_0023_0013__THE_R_0023_0014__CONTRACT)
      & r_0023_0010__because(R_0023_0010__BECAUSE)
      & has_conj1(R_0023_0010__BECAUSE,R_0023_0012__GOT)
      & r_0023_0012__got(R_0023_0012__GOT)
      & has_arg1(R_0023_0012__GOT,R_0023_0013__THE_R_0023_0014__CONTRACT)
      & has_arg0(R_0023_0012__GOT,R_0023_0001__THE_R_0023_0002__SOVIETS)
      & has_conj2(R_0023_0010__BECAUSE,R_0023_0005__PAID_R_0023_0006__OFF)
      & r_0023_0005__paid_r_0023_0006__off(R_0023_0005__PAID_R_0023_0006__OFF)
      & has_nim(R_0023_0005__PAID_R_0023_0006__OFF,R_0023_0008__HOWEVER)
      & has_arg0(R_0023_0005__PAID_R_0023_0006__OFF,R_0023_0004__EAVESDROPPING)
      & r_0023_0004__eavesdropping(R_0023_0004__EAVESDROPPING)
      & has_gen(R_0023_0004__EAVESDROPPING,R_0023_0001__THE_R_0023_0002__SOVIETS) ) ).