1_a_wsj_1640
Electronic theft by foreign and industrial spies and disgruntled employees is costing U.S. companies billions and eroding their international competitive advantage.

%3 r_0001_0002__theft theft r_0001_0001__Electronic Electronic r_0001_0002__theft->r_0001_0001__Electronic [attrib] r_0001_0008__and and r_0001_0002__theft->r_0001_0008__and by r_0001_0007__spies spies r_0001_0008__and->r_0001_0007__spies [conj1] r_0001_0010__employees employees r_0001_0008__and->r_0001_0010__employees [conj2] r_0001_0005__and and r_0001_0004__foreign foreign r_0001_0005__and->r_0001_0004__foreign [conj1] r_0001_0006__industrial industrial r_0001_0005__and->r_0001_0006__industrial [conj2] r_0001_0007__spies->r_0001_0005__and [attrib] r_0001_0009__disgruntled disgruntled r_0001_0010__employees->r_0001_0009__disgruntled [attrib] r_0001_0011__is is r_0001_0016__and and r_0001_0011__is->r_0001_0016__and [scope] r_0001_0012__costing costing r_0001_0016__and->r_0001_0012__costing [conj1] r_0001_0017__eroding eroding r_0001_0016__and->r_0001_0017__eroding [conj2] r_0001_0012__costing->r_0001_0002__theft [arg0] r_0001_0014__companies companies r_0001_0012__costing->r_0001_0014__companies [arg2] r_0001_0015__billions billions r_0001_0012__costing->r_0001_0015__billions [arg1] r_0001_0013__U_dot_S_dot_ U.S. r_0001_0014__companies->r_0001_0013__U_dot_S_dot_ [attrib] r_0001_0017__eroding->r_0001_0002__theft [arg0] r_0001_0021__advantage advantage r_0001_0017__eroding->r_0001_0021__advantage [arg1] r_0001_0021__advantage->r_0001_0014__companies [gen] r_0001_0019__international international r_0001_0021__advantage->r_0001_0019__international [attrib] r_0001_0020__competitive competitive r_0001_0021__advantage->r_0001_0020__competitive [attrib]
arc(r_0001_0002__theft, r_0001_0001__Electronic, attrib3).
arc(r_0001_0002__theft, r_0001_0008__and, r_0001_0003__by).
arc(r_0001_0005__and, r_0001_0004__foreign, conj1).
arc(r_0001_0005__and, r_0001_0006__industrial, conj2).
arc(r_0001_0007__spies, r_0001_0005__and, attrib14).
arc(r_0001_0008__and, r_0001_0007__spies, conj1).
arc(r_0001_0008__and, r_0001_0010__employees, conj2).
arc(r_0001_0010__employees, r_0001_0009__disgruntled, attrib31).
arc(r_0001_0011__is, r_0001_0016__and, scope).
arc(r_0001_0012__costing, r_0001_0002__theft, arg0).
arc(r_0001_0012__costing, r_0001_0014__companies, arg2).
arc(r_0001_0012__costing, r_0001_0015__billions, arg1).
arc(r_0001_0014__companies, r_0001_0013__U_dot_S_dot_, attrib44).
arc(r_0001_0016__and, r_0001_0012__costing, conj1).
arc(r_0001_0016__and, r_0001_0017__eroding, conj2).
arc(r_0001_0017__eroding, r_0001_0002__theft, arg0).
arc(r_0001_0017__eroding, r_0001_0021__advantage, arg1).
arc(r_0001_0021__advantage, r_0001_0014__companies, gen).
arc(r_0001_0021__advantage, r_0001_0019__international, attrib62).
arc(r_0001_0021__advantage, r_0001_0020__competitive, attrib65).



%3 r_0001_0011__is is r_0001_0016__and and r_0001_0011__is->r_0001_0016__and [keep_scope] r_0001_0017__eroding eroding r_0001_0016__and->r_0001_0017__eroding [conj2] r_0001_0012__costing costing r_0001_0016__and->r_0001_0012__costing [conj1] r_0001_0021__advantage advantage r_0001_0020__competitive competitive r_0001_0021__advantage->r_0001_0020__competitive [attrib] r_0001_0019__international international r_0001_0021__advantage->r_0001_0019__international [attrib] r_0001_0014__companies companies r_0001_0021__advantage->r_0001_0014__companies [gen] r_0001_0013__U_dot_S_dot_ U.S. r_0001_0014__companies->r_0001_0013__U_dot_S_dot_ [attrib] r_0001_0017__eroding->r_0001_0021__advantage [arg1] r_0001_0002__theft theft r_0001_0017__eroding->r_0001_0002__theft [arg0] r_0001_0008__and and r_0001_0002__theft->r_0001_0008__and by r_0001_0001__Electronic Electronic r_0001_0002__theft->r_0001_0001__Electronic [attrib] r_0001_0012__costing->r_0001_0014__companies [arg2] r_0001_0012__costing->r_0001_0002__theft [arg0] r_0001_0015__billions billions r_0001_0012__costing->r_0001_0015__billions [arg1] r_0001_0010__employees employees r_0001_0009__disgruntled disgruntled r_0001_0010__employees->r_0001_0009__disgruntled [attrib] r_0001_0008__and->r_0001_0010__employees [conj2] r_0001_0007__spies spies r_0001_0008__and->r_0001_0007__spies [conj1] r_0001_0005__and and r_0001_0007__spies->r_0001_0005__and [attrib] r_0001_0006__industrial industrial r_0001_0005__and->r_0001_0006__industrial [conj2] r_0001_0004__foreign foreign r_0001_0005__and->r_0001_0004__foreign [conj1]
fof(formula,axiom,
    ~ ? [R_1_16_AND,R_1_12_COSTING,R_1_15_BILLIONS,R_1_17_ERODING,R_1_2_THEFT,R_1_1_ELECTRONIC,R_1_8_AND,R_1_7_SPIES,R_1_5_AND,R_1_4_FOREIGN,R_1_6_INDUSTRIAL,R_1_10_EMPLOYEES,R_1_9_DISGRUNTLED,R_1_21_ADVANTAGE,R_1_19_INTERNATIONAL,R_1_20_COMPETITIVE,R_1_14_COMPANIES,R_1_13_U_DOT_S_DOT_] :
        ( billions(R_1_15_BILLIONS)
        & electronic(R_1_1_ELECTRONIC)
        & foreign(R_1_4_FOREIGN)
        & industrial(R_1_6_INDUSTRIAL)
        & disgruntled(R_1_9_DISGRUNTLED)
        & international(R_1_19_INTERNATIONAL)
        & competitive(R_1_20_COMPETITIVE)
        & u_dot_S_dot_(R_1_13_U_DOT_S_DOT_)
        & and(R_1_16_AND)
        & conj1(R_1_16_AND,R_1_12_COSTING)
        & costing(R_1_12_COSTING,R_1_2_THEFT,R_1_15_BILLIONS,R_1_14_COMPANIES)
        & theft(R_1_2_THEFT)
        & attrib3(R_1_2_THEFT,R_1_1_ELECTRONIC)
        & by(R_1_2_THEFT,R_1_8_AND)
        & and(R_1_8_AND)
        & conj1(R_1_8_AND,R_1_7_SPIES)
        & spies(R_1_7_SPIES)
        & attrib14(R_1_7_SPIES,R_1_5_AND)
        & and(R_1_5_AND)
        & conj1(R_1_5_AND,R_1_4_FOREIGN)
        & conj2(R_1_5_AND,R_1_6_INDUSTRIAL)
        & conj2(R_1_8_AND,R_1_10_EMPLOYEES)
        & employees(R_1_10_EMPLOYEES)
        & attrib31(R_1_10_EMPLOYEES,R_1_9_DISGRUNTLED)
        & companies(R_1_14_COMPANIES)
        & attrib44(R_1_14_COMPANIES,R_1_13_U_DOT_S_DOT_)
        & conj2(R_1_16_AND,R_1_17_ERODING)
        & eroding(R_1_17_ERODING,R_1_2_THEFT,R_1_21_ADVANTAGE)
        & advantage(R_1_21_ADVANTAGE)
        & attrib62(R_1_21_ADVANTAGE,R_1_19_INTERNATIONAL)
        & attrib65(R_1_21_ADVANTAGE,R_1_20_COMPETITIVE)
        & gen(R_1_21_ADVANTAGE,R_1_14_COMPANIES) ) ).



n1_a_wsj_1640 n1_a_wsj_1640__1_1_1_1_1 Electronic n1_a_wsj_1640__1_1_2_1 theft n1_a_wsj_1640__1_1_3_1_1 by n1_a_wsj_1640__1_1_3_2_1_1_1_1_1_1_1 foreign n1_a_wsj_1640__1_1_3_2_1_1_1_1_2_1_1 and n1_a_wsj_1640__1_1_3_2_1_1_1_1_2_2_1_1 industrial n1_a_wsj_1640__1_1_3_2_1_1_2_1 spies n1_a_wsj_1640__1_1_3_2_1_2_1_1 and n1_a_wsj_1640__1_1_3_2_1_2_2_1_1_1 disgruntled n1_a_wsj_1640__1_1_3_2_1_2_2_2_1 employees n1_a_wsj_1640__1_2_1 is n1_a_wsj_1640__1_3_1_1_1_1 costing n1_a_wsj_1640__1_3_1_1_2_1_1_1 U.S. n1_a_wsj_1640__1_3_1_1_2_2_1 companies n1_a_wsj_1640__1_3_1_1_3_1_1 billions n1_a_wsj_1640__1_3_1_2_1_1 and n1_a_wsj_1640__1_3_1_2_2_1_1 eroding n1_a_wsj_1640__1_3_1_2_2_2_1_1_1 their n1_a_wsj_1640__1_3_1_2_2_2_2_1_1 international n1_a_wsj_1640__1_3_1_2_2_2_3_1_1 competitive n1_a_wsj_1640__1_3_1_2_2_2_4_1 advantage n1_a_wsj_1640__1_4_1 . n1_a_wsj_1640__1 IP-MAT n1_a_wsj_1640__1_1 NP-SBJ n1_a_wsj_1640__1->n1_a_wsj_1640__1_1 n1_a_wsj_1640__1_2 BEP;_cat_Vg_ n1_a_wsj_1640__1->n1_a_wsj_1640__1_2 n1_a_wsj_1640__1_3 IP-PPL-CAT n1_a_wsj_1640__1->n1_a_wsj_1640__1_3 n1_a_wsj_1640__1_4 PUNC n1_a_wsj_1640__1->n1_a_wsj_1640__1_4 n1_a_wsj_1640__1_1_1 ADJP n1_a_wsj_1640__1_1->n1_a_wsj_1640__1_1_1 n1_a_wsj_1640__1_1_2 N n1_a_wsj_1640__1_1->n1_a_wsj_1640__1_1_2 n1_a_wsj_1640__1_1_3 PP n1_a_wsj_1640__1_1->n1_a_wsj_1640__1_1_3 n1_a_wsj_1640__1_1_1_1 ADJ n1_a_wsj_1640__1_1_1->n1_a_wsj_1640__1_1_1_1 n1_a_wsj_1640__1_1_1_1->n1_a_wsj_1640__1_1_1_1_1 n1_a_wsj_1640__1_1_2->n1_a_wsj_1640__1_1_2_1 n1_a_wsj_1640__1_1_3_1 P-ROLE n1_a_wsj_1640__1_1_3->n1_a_wsj_1640__1_1_3_1 n1_a_wsj_1640__1_1_3_2 NP n1_a_wsj_1640__1_1_3->n1_a_wsj_1640__1_1_3_2 n1_a_wsj_1640__1_1_3_1->n1_a_wsj_1640__1_1_3_1_1 n1_a_wsj_1640__1_1_3_2_1 NLYR n1_a_wsj_1640__1_1_3_2->n1_a_wsj_1640__1_1_3_2_1 n1_a_wsj_1640__1_1_3_2_1_1 NLYR n1_a_wsj_1640__1_1_3_2_1->n1_a_wsj_1640__1_1_3_2_1_1 n1_a_wsj_1640__1_1_3_2_1_2 CONJP n1_a_wsj_1640__1_1_3_2_1->n1_a_wsj_1640__1_1_3_2_1_2 n1_a_wsj_1640__1_1_3_2_1_1_1 ADJP n1_a_wsj_1640__1_1_3_2_1_1->n1_a_wsj_1640__1_1_3_2_1_1_1 n1_a_wsj_1640__1_1_3_2_1_1_2 NS n1_a_wsj_1640__1_1_3_2_1_1->n1_a_wsj_1640__1_1_3_2_1_1_2 n1_a_wsj_1640__1_1_3_2_1_1_1_1 AJLYR n1_a_wsj_1640__1_1_3_2_1_1_1->n1_a_wsj_1640__1_1_3_2_1_1_1_1 n1_a_wsj_1640__1_1_3_2_1_1_1_1_1 AJLYR n1_a_wsj_1640__1_1_3_2_1_1_1_1->n1_a_wsj_1640__1_1_3_2_1_1_1_1_1 n1_a_wsj_1640__1_1_3_2_1_1_1_1_2 CONJP n1_a_wsj_1640__1_1_3_2_1_1_1_1->n1_a_wsj_1640__1_1_3_2_1_1_1_1_2 n1_a_wsj_1640__1_1_3_2_1_1_1_1_1_1 ADJ n1_a_wsj_1640__1_1_3_2_1_1_1_1_1->n1_a_wsj_1640__1_1_3_2_1_1_1_1_1_1 n1_a_wsj_1640__1_1_3_2_1_1_1_1_1_1->n1_a_wsj_1640__1_1_3_2_1_1_1_1_1_1_1 n1_a_wsj_1640__1_1_3_2_1_1_1_1_2_1 CONJ n1_a_wsj_1640__1_1_3_2_1_1_1_1_2->n1_a_wsj_1640__1_1_3_2_1_1_1_1_2_1 n1_a_wsj_1640__1_1_3_2_1_1_1_1_2_2 AJLYR n1_a_wsj_1640__1_1_3_2_1_1_1_1_2->n1_a_wsj_1640__1_1_3_2_1_1_1_1_2_2 n1_a_wsj_1640__1_1_3_2_1_1_1_1_2_1->n1_a_wsj_1640__1_1_3_2_1_1_1_1_2_1_1 n1_a_wsj_1640__1_1_3_2_1_1_1_1_2_2_1 ADJ n1_a_wsj_1640__1_1_3_2_1_1_1_1_2_2->n1_a_wsj_1640__1_1_3_2_1_1_1_1_2_2_1 n1_a_wsj_1640__1_1_3_2_1_1_1_1_2_2_1->n1_a_wsj_1640__1_1_3_2_1_1_1_1_2_2_1_1 n1_a_wsj_1640__1_1_3_2_1_1_2->n1_a_wsj_1640__1_1_3_2_1_1_2_1 n1_a_wsj_1640__1_1_3_2_1_2_1 CONJ n1_a_wsj_1640__1_1_3_2_1_2->n1_a_wsj_1640__1_1_3_2_1_2_1 n1_a_wsj_1640__1_1_3_2_1_2_2 NLYR n1_a_wsj_1640__1_1_3_2_1_2->n1_a_wsj_1640__1_1_3_2_1_2_2 n1_a_wsj_1640__1_1_3_2_1_2_1->n1_a_wsj_1640__1_1_3_2_1_2_1_1 n1_a_wsj_1640__1_1_3_2_1_2_2_1 ADJP n1_a_wsj_1640__1_1_3_2_1_2_2->n1_a_wsj_1640__1_1_3_2_1_2_2_1 n1_a_wsj_1640__1_1_3_2_1_2_2_2 NS n1_a_wsj_1640__1_1_3_2_1_2_2->n1_a_wsj_1640__1_1_3_2_1_2_2_2 n1_a_wsj_1640__1_1_3_2_1_2_2_1_1 ADJ n1_a_wsj_1640__1_1_3_2_1_2_2_1->n1_a_wsj_1640__1_1_3_2_1_2_2_1_1 n1_a_wsj_1640__1_1_3_2_1_2_2_1_1->n1_a_wsj_1640__1_1_3_2_1_2_2_1_1_1 n1_a_wsj_1640__1_1_3_2_1_2_2_2->n1_a_wsj_1640__1_1_3_2_1_2_2_2_1 n1_a_wsj_1640__1_2->n1_a_wsj_1640__1_2_1 n1_a_wsj_1640__1_3_1 ILYR n1_a_wsj_1640__1_3->n1_a_wsj_1640__1_3_1 n1_a_wsj_1640__1_3_1_1 ILYR n1_a_wsj_1640__1_3_1->n1_a_wsj_1640__1_3_1_1 n1_a_wsj_1640__1_3_1_2 CONJP n1_a_wsj_1640__1_3_1->n1_a_wsj_1640__1_3_1_2 n1_a_wsj_1640__1_3_1_1_1 VAG;_In/pr_ n1_a_wsj_1640__1_3_1_1->n1_a_wsj_1640__1_3_1_1_1 n1_a_wsj_1640__1_3_1_1_2 NP-OB2 n1_a_wsj_1640__1_3_1_1->n1_a_wsj_1640__1_3_1_1_2 n1_a_wsj_1640__1_3_1_1_3 NP-OB1 n1_a_wsj_1640__1_3_1_1->n1_a_wsj_1640__1_3_1_1_3 n1_a_wsj_1640__1_3_1_1_1->n1_a_wsj_1640__1_3_1_1_1_1 n1_a_wsj_1640__1_3_1_1_2_1 ADJP n1_a_wsj_1640__1_3_1_1_2->n1_a_wsj_1640__1_3_1_1_2_1 n1_a_wsj_1640__1_3_1_1_2_2 NS n1_a_wsj_1640__1_3_1_1_2->n1_a_wsj_1640__1_3_1_1_2_2 n1_a_wsj_1640__1_3_1_1_2_1_1 ADJ n1_a_wsj_1640__1_3_1_1_2_1->n1_a_wsj_1640__1_3_1_1_2_1_1 n1_a_wsj_1640__1_3_1_1_2_1_1->n1_a_wsj_1640__1_3_1_1_2_1_1_1 n1_a_wsj_1640__1_3_1_1_2_2->n1_a_wsj_1640__1_3_1_1_2_2_1 n1_a_wsj_1640__1_3_1_1_3_1 NS n1_a_wsj_1640__1_3_1_1_3->n1_a_wsj_1640__1_3_1_1_3_1 n1_a_wsj_1640__1_3_1_1_3_1->n1_a_wsj_1640__1_3_1_1_3_1_1 n1_a_wsj_1640__1_3_1_2_1 CONJ n1_a_wsj_1640__1_3_1_2->n1_a_wsj_1640__1_3_1_2_1 n1_a_wsj_1640__1_3_1_2_2 ILYR n1_a_wsj_1640__1_3_1_2->n1_a_wsj_1640__1_3_1_2_2 n1_a_wsj_1640__1_3_1_2_1->n1_a_wsj_1640__1_3_1_2_1_1 n1_a_wsj_1640__1_3_1_2_2_1 VAG;_Tn_ n1_a_wsj_1640__1_3_1_2_2->n1_a_wsj_1640__1_3_1_2_2_1 n1_a_wsj_1640__1_3_1_2_2_2 NP-OB1 n1_a_wsj_1640__1_3_1_2_2->n1_a_wsj_1640__1_3_1_2_2_2 n1_a_wsj_1640__1_3_1_2_2_1->n1_a_wsj_1640__1_3_1_2_2_1_1 n1_a_wsj_1640__1_3_1_2_2_2_1 NP-GEN n1_a_wsj_1640__1_3_1_2_2_2->n1_a_wsj_1640__1_3_1_2_2_2_1 n1_a_wsj_1640__1_3_1_2_2_2_2 ADJP n1_a_wsj_1640__1_3_1_2_2_2->n1_a_wsj_1640__1_3_1_2_2_2_2 n1_a_wsj_1640__1_3_1_2_2_2_3 ADJP n1_a_wsj_1640__1_3_1_2_2_2->n1_a_wsj_1640__1_3_1_2_2_2_3 n1_a_wsj_1640__1_3_1_2_2_2_4 N n1_a_wsj_1640__1_3_1_2_2_2->n1_a_wsj_1640__1_3_1_2_2_2_4 n1_a_wsj_1640__1_3_1_2_2_2_1_1 PRO;_genm_ n1_a_wsj_1640__1_3_1_2_2_2_1->n1_a_wsj_1640__1_3_1_2_2_2_1_1 n1_a_wsj_1640__1_3_1_2_2_2_1_1->n1_a_wsj_1640__1_3_1_2_2_2_1_1_1 n1_a_wsj_1640__1_3_1_2_2_2_2_1 ADJ n1_a_wsj_1640__1_3_1_2_2_2_2->n1_a_wsj_1640__1_3_1_2_2_2_2_1 n1_a_wsj_1640__1_3_1_2_2_2_2_1->n1_a_wsj_1640__1_3_1_2_2_2_2_1_1 n1_a_wsj_1640__1_3_1_2_2_2_3_1 ADJ n1_a_wsj_1640__1_3_1_2_2_2_3->n1_a_wsj_1640__1_3_1_2_2_2_3_1 n1_a_wsj_1640__1_3_1_2_2_2_3_1->n1_a_wsj_1640__1_3_1_2_2_2_3_1_1 n1_a_wsj_1640__1_3_1_2_2_2_4->n1_a_wsj_1640__1_3_1_2_2_2_4_1 n1_a_wsj_1640__1_4->n1_a_wsj_1640__1_4_1
( (IP-MAT;{PROBLEM} (NP-SBJ (ADJP (ADJ Electronic;{electronic}))
                            (N theft;{theft})
                            (PP (P-ROLE by;{by})
                                (NP (NLYR (NLYR (ADJP (AJLYR (AJLYR (ADJ foreign;{foreign}))
                                                             (CONJP (CONJ and;{and})
                                                                    (AJLYR (ADJ industrial;{industrial})))))
                                                (NS spies;{spy}))
                                          (CONJP (CONJ and;{and})
                                                 (NLYR (ADJP (ADJ disgruntled;{disgruntled}))
                                                       (NS employees;{employee})))))))
                    (BEP;_cat_Vg_ is;{be})
                    (IP-PPL-CAT (ILYR (ILYR (VAG;_In/pr_ costing;{cost})
                                            (NP-OB2;{US_COMPANIES} (ADJP (ADJ U<dot>S<dot>))
                                                                   (NS companies;{company}))
                                            (NP-OB1 (NS billions;{billion})))
                                      (CONJP (CONJ and;{and})
                                             (ILYR (VAG;_Tn_ eroding;{erode})
                                                   (NP-OB1 (NP-GEN;{US_COMPANIES} (PRO;_genm_ their;{their}))
                                                           (ADJP (ADJ international;{international}))
                                                           (ADJP (ADJ competitive;{competitive}))
                                                           (N advantage;{advantage}))))))
                    (PUNC .))
  (ID 1_a_wsj_1640))