13_a_wsj_1640
Already many foreign firms, especially banks, have their own cryptographers, conference speakers reported.
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_13_16_REPORTED,R_13_14_CONFERENCE_SPEAKERS,UTTERANCE_13_A_WSJ_1640_2,R_13_9_HAVE,R_13_12_CRYPTOGRAPHERS,Z_13_A_WSJ_1640_30,R_13_11_OWN,R_13_1_ALREADY,Z_13_A_WSJ_1640_21,R_13_4_FIRMS,R_13_3_FOREIGN,R_13_2_MANY,R_13_6_ESPECIALLY,R_13_7_BANKS] :
( conference_speakers(R_13_14_CONFERENCE_SPEAKERS)
& own(R_13_11_OWN)
& already(R_13_1_ALREADY)
& foreign(R_13_3_FOREIGN)
& many(R_13_2_MANY)
& especially(R_13_6_ESPECIALLY)
& banks(R_13_7_BANKS)
& reported(R_13_16_REPORTED,R_13_14_CONFERENCE_SPEAKERS,UTTERANCE_13_A_WSJ_1640_2)
& utterance_13_a_wsj_1640_2(UTTERANCE_13_A_WSJ_1640_2)
& part1(UTTERANCE_13_A_WSJ_1640_2,R_13_9_HAVE)
& have(R_13_9_HAVE,R_13_4_FIRMS,R_13_12_CRYPTOGRAPHERS)
& firms(R_13_4_FIRMS)
& attrib11(R_13_4_FIRMS,R_13_3_FOREIGN)
& attrib8(R_13_4_FIRMS,R_13_2_MANY)
& qual18(R_13_4_FIRMS,R_13_6_ESPECIALLY)
& cryptographers(R_13_12_CRYPTOGRAPHERS)
& gen(R_13_12_CRYPTOGRAPHERS,Z_13_A_WSJ_1640_30)
& z_13_a_wsj_1640_30(Z_13_A_WSJ_1640_30)
& attrib34(Z_13_A_WSJ_1640_30,R_13_11_OWN)
& gen(Z_13_A_WSJ_1640_30,R_13_4_FIRMS)
& nim4(R_13_9_HAVE,R_13_1_ALREADY)
& z_13_a_wsj_1640_21(Z_13_A_WSJ_1640_21,R_13_4_FIRMS,R_13_7_BANKS) ) ).
( (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))