TSPC 20_a_wsj

20_a_wsj_1640
Under Mr. Gorbachev, Mr. Goode said, the Soviets are openly stealing Western corporate communications.

( (IP-MAT (PP-NIM (P-ROLE Under;{under})
                  (NP;{GORBACHEV} (N Mr<dot>)
                                  (NPR Gorbachev;{Gorbachev})))
          (PUNC ,)
          (PRN (IP-MAT (NP-SBJ;{GOODE} (N Mr<dot>)
                                       (NPR Goode;{Goode}))
                       (VBD;_Tr_ said;{say})))
          (PUNC ,)
          (NP-SBJ;{SOVIETS} (D the;{the})
                            (NPRS Soviets;{Soviets}))
          (BEP;_cat_Vg_ are;{be})
          (IP-PPL-CAT (ADVP-NIM (ADV openly;{openly}))
                      (VAG;_Tn_ stealing;{steal})
                      (NP-OB1 (ADJP (ADJ Western;{western}))
                              (ADJP (ADJ corporate;{corporate}))
                              (NS communications;{communication})))
          (PUNC .))
  (ID 20_a_wsj_1640))

arc(r_0020_0007__said,r_0020_0005__Mr_dot__r_0020_0006__Goode,arg0).
arc(r_0020_0011__are,r_0020_0002__Mr_dot__r_0020_0003__Gorbachev,r_0020_0001__Under__nim).
arc(r_0020_0011__are,r_0020_0007__said,prn).
arc(r_0020_0011__are,r_0020_0013__stealing,scope).
arc(r_0020_0013__stealing,r_0020_0009__the_r_0020_0010__Soviets,arg0).
arc(r_0020_0013__stealing,r_0020_0012__openly,nim).
arc(r_0020_0013__stealing,r_0020_0016__communications,arg1).
arc(r_0020_0016__communications,r_0020_0014__Western,attrib).
arc(r_0020_0016__communications,r_0020_0015__corporate,attrib).

fof(formula,axiom,
    ? [R_0020_0002__MR_DOT__R_0020_0003__GORBACHEV,R_0020_0005__MR_DOT__R_0020_0006__GOODE,R_0020_0007__SAID,R_0020_0009__THE_R_0020_0010__SOVIETS,R_0020_0012__OPENLY,R_0020_0014__WESTERN,R_0020_0015__CORPORATE,R_0020_0016__COMMUNICATIONS,R_0020_0011__ARE_R_0020_0013__STEALING] :
      ( r_0020_0002__Mr_dot__r_0020_0003__Gorbachev(R_0020_0002__MR_DOT__R_0020_0003__GORBACHEV)
      & r_0020_0005__Mr_dot__r_0020_0006__Goode(R_0020_0005__MR_DOT__R_0020_0006__GOODE)
      & r_0020_0009__the_r_0020_0010__Soviets(R_0020_0009__THE_R_0020_0010__SOVIETS)
      & r_0020_0012__openly(R_0020_0012__OPENLY)
      & r_0020_0014__Western(R_0020_0014__WESTERN)
      & r_0020_0015__corporate(R_0020_0015__CORPORATE)
      & r_0020_0011__are_r_0020_0013__stealing(R_0020_0011__ARE_R_0020_0013__STEALING)
      & has_arg1(R_0020_0011__ARE_R_0020_0013__STEALING,R_0020_0016__COMMUNICATIONS)
      & r_0020_0016__communications(R_0020_0016__COMMUNICATIONS)
      & has_attrib(R_0020_0016__COMMUNICATIONS,R_0020_0015__CORPORATE)
      & has_attrib(R_0020_0016__COMMUNICATIONS,R_0020_0014__WESTERN)
      & has_nim(R_0020_0011__ARE_R_0020_0013__STEALING,R_0020_0012__OPENLY)
      & has_arg0(R_0020_0011__ARE_R_0020_0013__STEALING,R_0020_0009__THE_R_0020_0010__SOVIETS)
      & has_prn(R_0020_0011__ARE_R_0020_0013__STEALING,R_0020_0007__SAID)
      & r_0020_0007__said(R_0020_0007__SAID)
      & has_arg0(R_0020_0007__SAID,R_0020_0005__MR_DOT__R_0020_0006__GOODE)
      & has_r_0020_0001__Under__nim(R_0020_0011__ARE_R_0020_0013__STEALING,R_0020_0002__MR_DOT__R_0020_0003__GORBACHEV) ) ).