TSPC 23_a_wsj

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

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

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

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