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.

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, nim29).
arc(r_0019_0016__that_r_0019_0017__makes, r_0019_0010__a_r_0019_0015__firm, arg0).
arc(r_0019_0016__that_r_0019_0017__makes, r_0019_0018__computer_r_0019_0020__security_r_0019_0021__products, arg1).
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, attrib63).
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_r_0019_0030___apos_s, gen).
arc(r_0019_0031__campaign, r_0019_0034__openness, r_0019_0032__for).
arc(r_0019_0034__openness, r_0019_0033__greater, attrib85).
arc(r_0019_0036__known, r_0019_0031__campaign, arg1).
arc(r_0019_0036__known, r_0019_0037__commonly, nim97).
arc(r_0019_0036__known, r_0019_0039__glasnost, prd).
arc(r_0019_0036__known, z_000_19_a_wsj_1640_93, arg0).
arc(z_000_19_a_wsj_1640_11, r_0019_0001__W_dot__r_0019_0002__Mark_r_0019_0003__Goode, arg0).
arc(z_000_19_a_wsj_1640_11, r_0019_0005__president, prd).
arc(z_000_19_a_wsj_1640_25, r_0019_0007__Micronyx_r_0019_0008__Inc_dot_, arg0).
arc(z_000_19_a_wsj_1640_25, r_0019_0010__a_r_0019_0015__firm, prd).

fof(formula,axiom,
    ? [R_0019_0011__RICHARDSON_R_0019_0013__TEXAS,R_0019_0010__A_R_0019_0015__FIRM,R_0019_0018__COMPUTER_R_0019_0020__SECURITY_R_0019_0021__PRODUCTS,R_0019_0016__THAT_R_0019_0017__MAKES,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_0030___APOS_S,R_0019_0033__GREATER,R_0019_0034__OPENNESS,R_0019_0031__CAMPAIGN,R_0019_0024__A_R_0019_0026__DEFINITION,R_0019_0023__PROVIDED,R_0019_0037__COMMONLY,R_0019_0039__GLASNOST,Z_000_19_A_WSJ_1640_93,R_0019_0036__KNOWN,R_0019_0007__MICRONYX_R_0019_0008__INC_DOT_,R_0019_0005__PRESIDENT,Z_000_19_A_WSJ_1640_11,Z_000_19_A_WSJ_1640_25] :
      ( 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_0021__products(R_0019_0018__COMPUTER_R_0019_0020__SECURITY_R_0019_0021__PRODUCTS)
      & r_0019_0025__new(R_0019_0025__NEW)
      & r_0019_0028__Mikhail_r_0019_0029__Gorbachev_r_0019_0030___apos_s(R_0019_0028__MIKHAIL_R_0019_0029__GORBACHEV_R_0019_0030___APOS_S)
      & 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_000_19_a_wsj_1640_93(Z_000_19_A_WSJ_1640_93)
      & z_000_19_a_wsj_1640_25(Z_000_19_A_WSJ_1640_25)
      & has_prd(Z_000_19_A_WSJ_1640_25,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_nim29(R_0019_0010__A_R_0019_0015__FIRM,R_0019_0011__RICHARDSON_R_0019_0013__TEXAS)
      & has_arg0(Z_000_19_A_WSJ_1640_25,R_0019_0007__MICRONYX_R_0019_0008__INC_DOT_)
      & z_000_19_a_wsj_1640_11(Z_000_19_A_WSJ_1640_11)
      & has_prd(Z_000_19_A_WSJ_1640_11,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_000_19_A_WSJ_1640_11,R_0019_0001__W_DOT__R_0019_0002__MARK_R_0019_0003__GOODE)
      & r_0019_0036__known(R_0019_0036__KNOWN)
      & has_arg0(R_0019_0036__KNOWN,Z_000_19_A_WSJ_1640_93)
      & has_prd(R_0019_0036__KNOWN,R_0019_0039__GLASNOST)
      & has_nim97(R_0019_0036__KNOWN,R_0019_0037__COMMONLY)
      & has_arg1(R_0019_0036__KNOWN,R_0019_0031__CAMPAIGN)
      & r_0019_0031__campaign(R_0019_0031__CAMPAIGN)
      & has_r_0019_0032__for(R_0019_0031__CAMPAIGN,R_0019_0034__OPENNESS)
      & r_0019_0034__openness(R_0019_0034__OPENNESS)
      & has_attrib85(R_0019_0034__OPENNESS,R_0019_0033__GREATER)
      & has_gen(R_0019_0031__CAMPAIGN,R_0019_0028__MIKHAIL_R_0019_0029__GORBACHEV_R_0019_0030___APOS_S)
      & 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)
      & has_attrib63(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)
      & r_0019_0016__that_r_0019_0017__makes(R_0019_0016__THAT_R_0019_0017__MAKES)
      & has_arg1(R_0019_0016__THAT_R_0019_0017__MAKES,R_0019_0018__COMPUTER_R_0019_0020__SECURITY_R_0019_0021__PRODUCTS)
      & has_arg0(R_0019_0016__THAT_R_0019_0017__MAKES,R_0019_0010__A_R_0019_0015__FIRM) ) ).

( (IP-MAT (NP-SBJ;{GOODE} (NPR W<dot>)
                          (NPR Mark;{Mark})
                          (NPR Goode;{Goode})
                          (PUNC ,)
                          (IP-PPL (NP-PRD (N president;{president})
                                          (PP (P-ROLE of;{of})
                                              (NP (NPR Micronyx;{Micronyx})
                                                  (NPR Inc<dot>)
                                                  (PUNC ,)
                                                  (IP-PPL (NP-PRD (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} (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))