TSPC 11_a_wsj

11_a_wsj_1640
Even though electronic espionage may cost U.S. firms billions of dollars a year, most aren't yet taking precautions, the experts said.

( (IP-MAT (utterance-OB1 (IP-MAT (PP-SCON (P-CONN Even_though;{even_though})
                                          (IP-ADV (NP-SBJ (ADJP (ADJ electronic;{electronic}))
                                                          (N espionage;{espionage}))
                                                  (MD;_cat_Vi_ may;{may})
                                                  (IP-INF-CAT (VB;_In/pr_ cost;{cost})
                                                              (NP-OB2 (ADJP (ADJ U<dot>S<dot>))
                                                                      (NS firms;{firm}))
                                                              (NP-OB1 (NS billions;{billion})
                                                                      (PP (P-ROLE of;{of})
                                                                          (NP (NS dollars;{dollar})))
                                                                      (NP-NIM (D a;{a})
                                                                              (N year;{year}))))))
                                 (PUNC ,)
                                 (NP-SBJ (Q;_nphd_ most;{most}))
                                 (BEP;_cat_Vg_ are;{be})
                                 (NEG;_clitic_ n<apos>t;{not})
                                 (IP-PPL-CAT (ADVP-NIM (ADV yet;{yet}))
                                             (VAG;_Tn_ taking;{take})
                                             (NP-OB1 (NS precautions;{precaution})))))
          (PUNC ,)
          (NP-SBJ (D the;{the})
                  (NS experts;{expert}))
          (VBD;_Tr_ said;{say})
          (PUNC .))
  (ID 11_a_wsj_1640))

arc(r_0011_0001__Even_though,r_0011_0004__may,restriction).
arc(r_0011_0001__Even_though,r_0011_0014__most__quant,scope).
arc(r_0011_0003__espionage,r_0011_0002__electronic,attrib).
arc(r_0011_0004__may,r_0011_0005__cost,scope).
arc(r_0011_0005__cost,r_0011_0003__espionage,arg0).
arc(r_0011_0005__cost,r_0011_0007__firms,arg2).
arc(r_0011_0005__cost,r_0011_0008__billions,arg1).
arc(r_0011_0007__firms,r_0011_0006__U_dot_S_dot_,attrib).
arc(r_0011_0008__billions,r_0011_0010__dollars,r_0011_0009__of).
arc(r_0011_0008__billions,r_0011_0011__a_r_0011_0012__year,nim).
arc(r_0011_0014__most__quant,r_0011_0016__n_apos_t,scope).
arc(r_0011_0014__most__quant,z_0011_5016,restriction).
arc(r_0011_0015__are,r_0011_0018__taking,scope).
arc(r_0011_0016__n_apos_t,r_0011_0015__are,keep_scope).
arc(r_0011_0018__taking,r_0011_0017__yet,nim).
arc(r_0011_0018__taking,r_0011_0019__precautions,arg1).
arc(r_0011_0018__taking,z_0011_5016,arg0).
arc(r_0011_0023__said,r_0011_0021__the_r_0011_0022__experts,arg0).
arc(r_0011_0023__said,z_0011_5002__utterance,arg1).
arc(z_0011_5002__utterance,r_0011_0001__Even_though,part1).

fof(formula,axiom,
    ? [R_0011_0021__THE_R_0011_0022__EXPERTS,R_0011_0002__ELECTRONIC,R_0011_0003__ESPIONAGE,R_0011_0006__U_DOT_S_DOT_,R_0011_0007__FIRMS,R_0011_0010__DOLLARS,R_0011_0011__A_R_0011_0012__YEAR,R_0011_0008__BILLIONS,R_0011_0004__MAY_R_0011_0005__COST,R_0011_0001__EVEN_THOUGH,Z_0011_5002__UTTERANCE,R_0011_0023__SAID] :
      ( r_0011_0002__electronic(R_0011_0002__ELECTRONIC)
      & r_0011_0006__U_dot_S_dot_(R_0011_0006__U_DOT_S_DOT_)
      & r_0011_0010__dollars(R_0011_0010__DOLLARS)
      & r_0011_0011__a_r_0011_0012__year(R_0011_0011__A_R_0011_0012__YEAR)
      & r_0011_0021__the_r_0011_0022__experts(R_0011_0021__THE_R_0011_0022__EXPERTS)
      & r_0011_0023__said(R_0011_0023__SAID)
      & has_arg1(R_0011_0023__SAID,Z_0011_5002__UTTERANCE)
      & z_0011_5002__utterance(Z_0011_5002__UTTERANCE)
      & has_part1(Z_0011_5002__UTTERANCE,R_0011_0001__EVEN_THOUGH)
      & r_0011_0001__Even_though(R_0011_0001__EVEN_THOUGH)
      & ! [Z_0011_5016] :
          ( z_0011_5016(Z_0011_5016)
         => ~ ? [R_0011_0017__YET,R_0011_0019__PRECAUTIONS,R_0011_0015__ARE_R_0011_0018__TAKING] :
                ( r_0011_0017__yet(R_0011_0017__YET)
                & r_0011_0019__precautions(R_0011_0019__PRECAUTIONS)
                & r_0011_0015__are_r_0011_0018__taking(R_0011_0015__ARE_R_0011_0018__TAKING)
                & has_arg0(R_0011_0015__ARE_R_0011_0018__TAKING,Z_0011_5016)
                & has_arg1(R_0011_0015__ARE_R_0011_0018__TAKING,R_0011_0019__PRECAUTIONS)
                & has_nim(R_0011_0015__ARE_R_0011_0018__TAKING,R_0011_0017__YET) ) )
      & has_conj1(R_0011_0001__EVEN_THOUGH,R_0011_0004__MAY_R_0011_0005__COST)
      & r_0011_0004__may_r_0011_0005__cost(R_0011_0004__MAY_R_0011_0005__COST)
      & has_arg1(R_0011_0004__MAY_R_0011_0005__COST,R_0011_0008__BILLIONS)
      & r_0011_0008__billions(R_0011_0008__BILLIONS)
      & has_nim(R_0011_0008__BILLIONS,R_0011_0011__A_R_0011_0012__YEAR)
      & has_r_0011_0009__of(R_0011_0008__BILLIONS,R_0011_0010__DOLLARS)
      & has_arg2(R_0011_0004__MAY_R_0011_0005__COST,R_0011_0007__FIRMS)
      & r_0011_0007__firms(R_0011_0007__FIRMS)
      & has_attrib(R_0011_0007__FIRMS,R_0011_0006__U_DOT_S_DOT_)
      & has_arg0(R_0011_0004__MAY_R_0011_0005__COST,R_0011_0003__ESPIONAGE)
      & r_0011_0003__espionage(R_0011_0003__ESPIONAGE)
      & has_attrib(R_0011_0003__ESPIONAGE,R_0011_0002__ELECTRONIC)
      & has_arg0(R_0011_0023__SAID,R_0011_0021__THE_R_0011_0022__EXPERTS) ) ).