TSPC 13_a_wsj

13_a_wsj_1640
Already many foreign firms, especially banks, have their own cryptographers, conference speakers reported.

( (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}))
                                                 (PRN (NP (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))

arc(r_0013_0004__firms,r_0013_0002__many,attrib).
arc(r_0013_0004__firms,r_0013_0003__foreign,attrib).
arc(r_0013_0004__firms,r_0013_0006__especially,qual).
arc(r_0013_0009__have,r_0013_0001__Already,nim).
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_0013_5015,gen).
arc(r_0013_0016__reported,r_0013_0014__conference_r_0013_0015__speakers,arg0).
arc(r_0013_0016__reported,z_0013_5002__utterance,arg1).
arc(z_0013_5002__utterance,r_0013_0009__have,part1).
arc(z_0013_5009,r_0013_0004__firms,arg0).
arc(z_0013_5009,r_0013_0007__banks,prd).
arc(z_0013_5015,r_0013_0004__firms,gen).
arc(z_0013_5015,r_0013_0011__own,attrib).

fof(formula,axiom,
    ? [R_0013_0014__CONFERENCE_R_0013_0015__SPEAKERS,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_0013_5015,R_0013_0012__CRYPTOGRAPHERS,R_0013_0009__HAVE,Z_0013_5002__UTTERANCE,R_0013_0016__REPORTED,R_0013_0007__BANKS,Z_0013_5009] :
      ( 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_0013_5009(Z_0013_5009)
      & has_prd(Z_0013_5009,R_0013_0007__BANKS)
      & has_arg0(Z_0013_5009,R_0013_0004__FIRMS)
      & r_0013_0004__firms(R_0013_0004__FIRMS)
      & has_qual(R_0013_0004__FIRMS,R_0013_0006__ESPECIALLY)
      & has_attrib(R_0013_0004__FIRMS,R_0013_0003__FOREIGN)
      & has_attrib(R_0013_0004__FIRMS,R_0013_0002__MANY)
      & r_0013_0016__reported(R_0013_0016__REPORTED)
      & has_arg1(R_0013_0016__REPORTED,Z_0013_5002__UTTERANCE)
      & z_0013_5002__utterance(Z_0013_5002__UTTERANCE)
      & has_part1(Z_0013_5002__UTTERANCE,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_0013_5015)
      & z_0013_5015(Z_0013_5015)
      & has_attrib(Z_0013_5015,R_0013_0011__OWN)
      & has_gen(Z_0013_5015,R_0013_0004__FIRMS)
      & has_arg0(R_0013_0009__HAVE,R_0013_0004__FIRMS)
      & has_nim(R_0013_0009__HAVE,R_0013_0001__ALREADY)
      & has_arg0(R_0013_0016__REPORTED,R_0013_0014__CONFERENCE_R_0013_0015__SPEAKERS) ) ).