arc(utterance_11_a_wsj_1640_2, r_0011_0001__Even_though, part1).
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, attrib9).
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_, attrib20).
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, nim34).
arc(r_0011_0014__most_quant, r_0011_0016__n_apos_t, scope).
arc(r_0011_0014__most_quant, z_000_11_a_wsj_1640_41, 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, nim49).
arc(r_0011_0018__taking, r_0011_0019__precautions, arg1).
arc(r_0011_0018__taking, z_000_11_a_wsj_1640_41, arg0).
arc(r_0011_0023__said, utterance_11_a_wsj_1640_2, arg1).
arc(r_0011_0023__said, r_0011_0021__the_r_0011_0022__experts, arg0).

fof(formula,axiom,
    ? [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,UTTERANCE_11_A_WSJ_1640_2,R_0011_0021__THE_R_0011_0022__EXPERTS,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_arg0(R_0011_0023__SAID,R_0011_0021__THE_R_0011_0022__EXPERTS)
      & has_arg1(R_0011_0023__SAID,UTTERANCE_11_A_WSJ_1640_2)
      & utterance_11_a_wsj_1640_2(UTTERANCE_11_A_WSJ_1640_2)
      & has_part1(UTTERANCE_11_A_WSJ_1640_2,R_0011_0001__EVEN_THOUGH)
      & r_0011_0001__Even_though(R_0011_0001__EVEN_THOUGH)
      & ! [Z_000_11_A_WSJ_1640_41] :
          ( z_000_11_a_wsj_1640_41(Z_000_11_A_WSJ_1640_41)
         => ~ ? [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_000_11_A_WSJ_1640_41)
                & has_arg1(R_0011_0015__ARE_R_0011_0018__TAKING,R_0011_0019__PRECAUTIONS)
                & has_nim49(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_nim34(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_attrib20(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_attrib9(R_0011_0003__ESPIONAGE,R_0011_0002__ELECTRONIC) ) ).

( (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))