TSPC 19_a_wsj

19_a_wsj_1640
W. Mark Goode, president of Micronyx Inc., a Richardson, Texas, firm that makes computer - security products, provided a new definition for Mikhail Gorbachev's campaign for greater openness, known commonly as glasnost.

( (IP-MAT (NP-SBJ;{GOODE} (NPR W<dot>)
                          (NPR Mark;{Mark})
                          (NPR Goode;{Goode})
                          (PUNC ,)
                          (PRN (NP (N president;{president})
                                   (PP (P-ROLE of;{of})
                                       (NP (NPR Micronyx;{Micronyx})
                                           (NPR Inc<dot>)
                                           (PUNC ,)
                                           (PRN (NP (D a;{a})
                                                    (NP-NIM (NPR Richardson;{Richardson})
                                                            (PUNC ,)
                                                            (NPR Texas;{Texas}))
                                                    (PUNC ,)
                                                    (N firm;{firm})
                                                    (IP-REL (C that;{that})
                                                            (NP-SBJ *T*)
                                                            (VBP;_Tn_ makes;{make})
                                                            (NP-OB1;{PRODUCT} (NLYR (N computer;{computer})
                                                                                    (PUNC <hyphen>)
                                                                                    (N security;{security}))
                                                                              (NS products;{product}))))))))))
          (PUNC ,)
          (VBD;_Tn_ provided;{provide})
          (NP-OB1 (D a;{a})
                  (ADJP (ADJ new;{new}))
                  (N definition;{definition})
                  (PP (P-ROLE for;{for})
                      (NP (NP-GEN;{GORBACHEV} (NPR Mikhail;{Mikhail})
                                              (NPR Gorbachev;{Gorbachev})
                                              (GENM <apos>s))
                          (N campaign;{campaign})
                          (PP (P-ROLE for;{for})
                              (NP (ADJP (ADJR greater;{great}))
                                  (N openness;{openness})))
                          (PUNC ,)
                          (IP-PPL (NP-LGS *)
                                  (VVN;_Cn.n/a_ known;{know[as]})
                                  (ADVP-NIM (ADV commonly;{commonly}))
                                  (PP-PRD (P-ROLE as;{as})
                                          (NP (NPR glasnost;{glasnost})))))))
          (PUNC .))
  (ID 19_a_wsj_1640))

arc(r_0019_0005__president,r_0019_0007__Micronyx_r_0019_0008__Inc_dot_,r_0019_0006__of).
arc(r_0019_0010__a_r_0019_0015__firm,r_0019_0011__Richardson_r_0019_0013__Texas,nim).
arc(r_0019_0017__makes,r_0019_0010__a_r_0019_0015__firm,inv_arg0).
arc(r_0019_0017__makes,r_0019_0021__products,arg1).
arc(r_0019_0021__products,r_0019_0018__computer_r_0019_0020__security,nim).
arc(r_0019_0023__provided,r_0019_0001__W_dot__r_0019_0002__Mark_r_0019_0003__Goode,arg0).
arc(r_0019_0023__provided,r_0019_0024__a_r_0019_0026__definition,arg1).
arc(r_0019_0024__a_r_0019_0026__definition,r_0019_0025__new,attrib).
arc(r_0019_0024__a_r_0019_0026__definition,r_0019_0031__campaign,r_0019_0027__for).
arc(r_0019_0031__campaign,r_0019_0028__Mikhail_r_0019_0029__Gorbachev,gen).
arc(r_0019_0031__campaign,r_0019_0034__openness,r_0019_0032__for).
arc(r_0019_0034__openness,r_0019_0033__greater,attrib).
arc(r_0019_0036__known,r_0019_0031__campaign,inv_arg1).
arc(r_0019_0036__known,r_0019_0037__commonly,nim).
arc(r_0019_0036__known,r_0019_0039__glasnost,r_0019_0038__as__prd).
arc(r_0019_0036__known,z_0019_5016___star_,arg0).
arc(z_0019_5006,r_0019_0007__Micronyx_r_0019_0008__Inc_dot_,arg0).
arc(z_0019_5006,r_0019_0010__a_r_0019_0015__firm,prd).
arc(z_0019_5008,r_0019_0001__W_dot__r_0019_0002__Mark_r_0019_0003__Goode,arg0).
arc(z_0019_5008,r_0019_0005__president,prd).

fof(formula,axiom,
    ? [R_0019_0001__W_DOT__R_0019_0002__MARK_R_0019_0003__GOODE,R_0019_0025__NEW,R_0019_0028__MIKHAIL_R_0019_0029__GORBACHEV,R_0019_0033__GREATER,R_0019_0034__OPENNESS,R_0019_0037__COMMONLY,R_0019_0039__GLASNOST,Z_0019_5016___STAR_,R_0019_0036__KNOWN,R_0019_0031__CAMPAIGN,R_0019_0024__A_R_0019_0026__DEFINITION,R_0019_0023__PROVIDED,R_0019_0007__MICRONYX_R_0019_0008__INC_DOT_,R_0019_0011__RICHARDSON_R_0019_0013__TEXAS,R_0019_0018__COMPUTER_R_0019_0020__SECURITY,R_0019_0021__PRODUCTS,R_0019_0017__MAKES,R_0019_0010__A_R_0019_0015__FIRM,Z_0019_5006,R_0019_0005__PRESIDENT,Z_0019_5008] :
      ( r_0019_0001__W_dot__r_0019_0002__Mark_r_0019_0003__Goode(R_0019_0001__W_DOT__R_0019_0002__MARK_R_0019_0003__GOODE)
      & r_0019_0007__Micronyx_r_0019_0008__Inc_dot_(R_0019_0007__MICRONYX_R_0019_0008__INC_DOT_)
      & r_0019_0011__Richardson_r_0019_0013__Texas(R_0019_0011__RICHARDSON_R_0019_0013__TEXAS)
      & r_0019_0018__computer_r_0019_0020__security(R_0019_0018__COMPUTER_R_0019_0020__SECURITY)
      & r_0019_0025__new(R_0019_0025__NEW)
      & r_0019_0028__Mikhail_r_0019_0029__Gorbachev(R_0019_0028__MIKHAIL_R_0019_0029__GORBACHEV)
      & r_0019_0033__greater(R_0019_0033__GREATER)
      & r_0019_0037__commonly(R_0019_0037__COMMONLY)
      & r_0019_0039__glasnost(R_0019_0039__GLASNOST)
      & z_0019_5016___star_(Z_0019_5016___STAR_)
      & z_0019_5008(Z_0019_5008)
      & has_prd(Z_0019_5008,R_0019_0005__PRESIDENT)
      & r_0019_0005__president(R_0019_0005__PRESIDENT)
      & has_r_0019_0006__of(R_0019_0005__PRESIDENT,R_0019_0007__MICRONYX_R_0019_0008__INC_DOT_)
      & has_arg0(Z_0019_5008,R_0019_0001__W_DOT__R_0019_0002__MARK_R_0019_0003__GOODE)
      & z_0019_5006(Z_0019_5006)
      & has_prd(Z_0019_5006,R_0019_0010__A_R_0019_0015__FIRM)
      & r_0019_0010__a_r_0019_0015__firm(R_0019_0010__A_R_0019_0015__FIRM)
      & has_inv_arg0(R_0019_0010__A_R_0019_0015__FIRM,R_0019_0017__MAKES)
      & r_0019_0017__makes(R_0019_0017__MAKES)
      & has_arg1(R_0019_0017__MAKES,R_0019_0021__PRODUCTS)
      & r_0019_0021__products(R_0019_0021__PRODUCTS)
      & has_nim(R_0019_0021__PRODUCTS,R_0019_0018__COMPUTER_R_0019_0020__SECURITY)
      & has_nim(R_0019_0010__A_R_0019_0015__FIRM,R_0019_0011__RICHARDSON_R_0019_0013__TEXAS)
      & has_arg0(Z_0019_5006,R_0019_0007__MICRONYX_R_0019_0008__INC_DOT_)
      & r_0019_0023__provided(R_0019_0023__PROVIDED)
      & has_arg1(R_0019_0023__PROVIDED,R_0019_0024__A_R_0019_0026__DEFINITION)
      & r_0019_0024__a_r_0019_0026__definition(R_0019_0024__A_R_0019_0026__DEFINITION)
      & has_r_0019_0027__for(R_0019_0024__A_R_0019_0026__DEFINITION,R_0019_0031__CAMPAIGN)
      & r_0019_0031__campaign(R_0019_0031__CAMPAIGN)
      & has_inv_arg1(R_0019_0031__CAMPAIGN,R_0019_0036__KNOWN)
      & r_0019_0036__known(R_0019_0036__KNOWN)
      & has_arg0(R_0019_0036__KNOWN,Z_0019_5016___STAR_)
      & has_r_0019_0038__as__prd(R_0019_0036__KNOWN,R_0019_0039__GLASNOST)
      & has_nim(R_0019_0036__KNOWN,R_0019_0037__COMMONLY)
      & has_r_0019_0032__for(R_0019_0031__CAMPAIGN,R_0019_0034__OPENNESS)
      & r_0019_0034__openness(R_0019_0034__OPENNESS)
      & has_attrib(R_0019_0034__OPENNESS,R_0019_0033__GREATER)
      & has_gen(R_0019_0031__CAMPAIGN,R_0019_0028__MIKHAIL_R_0019_0029__GORBACHEV)
      & has_attrib(R_0019_0024__A_R_0019_0026__DEFINITION,R_0019_0025__NEW)
      & has_arg0(R_0019_0023__PROVIDED,R_0019_0001__W_DOT__R_0019_0002__MARK_R_0019_0003__GOODE) ) ).