arc(utterance_13_a_wsj_1640_2, r_0013_0009__have, part1).
arc(r_0013_0004__firms, r_0013_0002__many, attrib8).
arc(r_0013_0004__firms, r_0013_0003__foreign, attrib11).
arc(r_0013_0004__firms, r_0013_0006__especially, qual18).
arc(r_0013_0009__have, r_0013_0001__Already, nim4).
arc(r_0013_0009__have, r_0013_0004__firms, arg0).
arc(r_0013_0009__have, r_0013_0012__cryptographers, arg1).
arc(r_0013_0012__cryptographers, z_000_13_a_wsj_1640_30, gen).
arc(r_0013_0016__reported, utterance_13_a_wsj_1640_2, arg1).
arc(r_0013_0016__reported, r_0013_0014__conference_r_0013_0015__speakers, arg0).
arc(z_000_13_a_wsj_1640_21, r_0013_0004__firms, arg0).
arc(z_000_13_a_wsj_1640_21, r_0013_0007__banks, prd).
arc(z_000_13_a_wsj_1640_30, r_0013_0004__firms, gen).
arc(z_000_13_a_wsj_1640_30, r_0013_0011__own, attrib34).

fof(formula,axiom,
    ? [R_0013_0001__ALREADY,R_0013_0002__MANY,R_0013_0003__FOREIGN,R_0013_0006__ESPECIALLY,R_0013_0004__FIRMS,R_0013_0011__OWN,Z_000_13_A_WSJ_1640_30,R_0013_0012__CRYPTOGRAPHERS,R_0013_0009__HAVE,UTTERANCE_13_A_WSJ_1640_2,R_0013_0014__CONFERENCE_R_0013_0015__SPEAKERS,R_0013_0016__REPORTED,R_0013_0007__BANKS,Z_000_13_A_WSJ_1640_21] :
      ( r_0013_0001__Already(R_0013_0001__ALREADY)
      & r_0013_0002__many(R_0013_0002__MANY)
      & r_0013_0003__foreign(R_0013_0003__FOREIGN)
      & r_0013_0006__especially(R_0013_0006__ESPECIALLY)
      & r_0013_0007__banks(R_0013_0007__BANKS)
      & r_0013_0011__own(R_0013_0011__OWN)
      & r_0013_0014__conference_r_0013_0015__speakers(R_0013_0014__CONFERENCE_R_0013_0015__SPEAKERS)
      & z_000_13_a_wsj_1640_21(Z_000_13_A_WSJ_1640_21)
      & has_prd(Z_000_13_A_WSJ_1640_21,R_0013_0007__BANKS)
      & has_arg0(Z_000_13_A_WSJ_1640_21,R_0013_0004__FIRMS)
      & r_0013_0004__firms(R_0013_0004__FIRMS)
      & has_qual18(R_0013_0004__FIRMS,R_0013_0006__ESPECIALLY)
      & has_attrib11(R_0013_0004__FIRMS,R_0013_0003__FOREIGN)
      & has_attrib8(R_0013_0004__FIRMS,R_0013_0002__MANY)
      & r_0013_0016__reported(R_0013_0016__REPORTED)
      & has_arg0(R_0013_0016__REPORTED,R_0013_0014__CONFERENCE_R_0013_0015__SPEAKERS)
      & has_arg1(R_0013_0016__REPORTED,UTTERANCE_13_A_WSJ_1640_2)
      & utterance_13_a_wsj_1640_2(UTTERANCE_13_A_WSJ_1640_2)
      & has_part1(UTTERANCE_13_A_WSJ_1640_2,R_0013_0009__HAVE)
      & r_0013_0009__have(R_0013_0009__HAVE)
      & has_arg1(R_0013_0009__HAVE,R_0013_0012__CRYPTOGRAPHERS)
      & r_0013_0012__cryptographers(R_0013_0012__CRYPTOGRAPHERS)
      & has_gen(R_0013_0012__CRYPTOGRAPHERS,Z_000_13_A_WSJ_1640_30)
      & z_000_13_a_wsj_1640_30(Z_000_13_A_WSJ_1640_30)
      & has_attrib34(Z_000_13_A_WSJ_1640_30,R_0013_0011__OWN)
      & has_gen(Z_000_13_A_WSJ_1640_30,R_0013_0004__FIRMS)
      & has_arg0(R_0013_0009__HAVE,R_0013_0004__FIRMS)
      & has_nim4(R_0013_0009__HAVE,R_0013_0001__ALREADY) ) ).

( (IP-MAT (utterance-OB1 (IP-MAT (ADVP-NIM (ADV Already;{already}))
                                 (NP-SBJ;{FIRMS} (ADJP (ADJ many;{many}))
                                                 (ADJP (ADJ foreign;{foreign}))
                                                 (NS firms;{firm})
                                                 (PUNC ,)
                                                 (ADVP (ADV especially;{especially}))
                                                 (IP-PPL (NP-PRD (NS banks;{bank}))))
                                 (PUNC ,)
                                 (HVP;_Tn_ have;{have})
                                 (NP-OB1 (NP-GEN (NP-GEN;{FIRMS} (PRO;_genm_ their;{their}))
                                                 (ADJP (ADJ own;{own})))
                                         (NS cryptographers;{cryptographer}))))
          (PUNC ,)
          (NP-SBJ (N conference;{conference})
                  (NS speakers;{speaker}))
          (VBD;_Tr_ reported;{report})
          (PUNC .))
  (ID 13_a_wsj_1640))