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_19_16_THAT_MAKES,R_19_18_COMPUTER_SECURITY_PRODUCTS,R_19_23_PROVIDED,R_19_24_A_DEFINITION,R_19_25_NEW,R_19_36_KNOWN,Z_19_A_WSJ_1640_93,R_19_31_CAMPAIGN,R_19_28_MIKHAIL_GORBACHEV_APOS_S,R_19_34_OPENNESS,R_19_33_GREATER,R_19_37_COMMONLY,R_19_39_GLASNOST,Z_19_A_WSJ_1640_11,R_19_1_W_DOT_MARK_GOODE,R_19_5_PRESIDENT,Z_19_A_WSJ_1640_25,R_19_7_MICRONYX_INC_DOT_,R_19_10_A_FIRM,R_19_11_RICHARDSON_TEXAS] :
      ( computer_security_products(R_19_18_COMPUTER_SECURITY_PRODUCTS)
      & new(R_19_25_NEW)
      & mikhail_Gorbachev_apos_s(R_19_28_MIKHAIL_GORBACHEV_APOS_S)
      & greater(R_19_33_GREATER)
      & commonly(R_19_37_COMMONLY)
      & glasnost(R_19_39_GLASNOST)
      & w_dot_Mark_Goode(R_19_1_W_DOT_MARK_GOODE)
      & micronyx_Inc_dot_(R_19_7_MICRONYX_INC_DOT_)
      & richardson_Texas(R_19_11_RICHARDSON_TEXAS)
      & that_makes(R_19_16_THAT_MAKES,R_19_10_A_FIRM,R_19_18_COMPUTER_SECURITY_PRODUCTS)
      & a_firm(R_19_10_A_FIRM)
      & nim29(R_19_10_A_FIRM,R_19_11_RICHARDSON_TEXAS)
      & provided(R_19_23_PROVIDED,R_19_1_W_DOT_MARK_GOODE,R_19_24_A_DEFINITION)
      & a_definition(R_19_24_A_DEFINITION)
      & attrib63(R_19_24_A_DEFINITION,R_19_25_NEW)
      & for(R_19_24_A_DEFINITION,R_19_31_CAMPAIGN)
      & campaign(R_19_31_CAMPAIGN)
      & gen(R_19_31_CAMPAIGN,R_19_28_MIKHAIL_GORBACHEV_APOS_S)
      & for(R_19_31_CAMPAIGN,R_19_34_OPENNESS)
      & openness(R_19_34_OPENNESS)
      & attrib85(R_19_34_OPENNESS,R_19_33_GREATER)
      & known(R_19_36_KNOWN,Z_19_A_WSJ_1640_93,R_19_31_CAMPAIGN,R_19_39_GLASNOST)
      & nim97(R_19_36_KNOWN,R_19_37_COMMONLY)
      & z_19_a_wsj_1640_11(Z_19_A_WSJ_1640_11,R_19_1_W_DOT_MARK_GOODE,R_19_5_PRESIDENT)
      & president(R_19_5_PRESIDENT)
      & of(R_19_5_PRESIDENT,R_19_7_MICRONYX_INC_DOT_)
      & z_19_a_wsj_1640_25(Z_19_A_WSJ_1640_25,R_19_7_MICRONYX_INC_DOT_,R_19_10_A_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))