TSPC 6_a_wsj

6_a_wsj_1640
Any secret can be pirated, the experts said, if it is transmitted over the air.

( (IP-MAT (NP-SBJ;{SECRET} (D Any;{any})
                           (N secret;{secret}))
          (MD;_cat_Vi_ can;{can})
          (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                      (IP-PPL-CAT;{PIRATE_SECRETS} (NP-LGS *)
                                                   (VVN;_Tn_ pirated;{pirate})))
          (PUNC ,)
          (PRN (IP-MAT (NP-SBJ (D the;{the})
                               (NS experts;{expert}))
                       (VBD;_Tf_ said;{say})))
          (PUNC ,)
          (PP-SCON (P-CONN if;{if})
                   (IP-ADV (NP-SBJ;{SECRET} (PRO it;{it}))
                           (BEP;_cat_VePASS_ is;{be})
                           (IP-PPL-CAT (NP-LGS *)
                                       (VVN;_Tn.pr_ transmitted;{transmit[over]})
                                       (PP-NIM (P-ROLE over;{over})
                                               (NP (D the;{the})
                                                   (N air;{air}))))))
          (PUNC .))
  (ID 6_a_wsj_1640))

arc(r_0006_0003__can,r_0006_0004__be,scope).
arc(r_0006_0003__can,r_0006_0009__said,prn).
arc(r_0006_0004__be,r_0006_0005__pirated,scope).
arc(r_0006_0005__pirated,r_0006_0001__Any_r_0006_0002__secret,arg1).
arc(r_0006_0005__pirated,z_0006_5014___star_,arg0).
arc(r_0006_0009__said,r_0006_0007__the_r_0006_0008__experts,arg0).
arc(r_0006_0011__if,r_0006_0003__can,scope).
arc(r_0006_0011__if,r_0006_0013__is,restriction).
arc(r_0006_0013__is,r_0006_0014__transmitted,scope).
arc(r_0006_0014__transmitted,r_0006_0001__Any_r_0006_0002__secret,arg1).
arc(r_0006_0014__transmitted,r_0006_0016__the_r_0006_0017__air,r_0006_0015__over__nim).
arc(r_0006_0014__transmitted,z_0006_5006___star_,arg0).

fof(formula,axiom,
    ! [R_0006_0013__IS_R_0006_0014__TRANSMITTED,R_0006_0001__ANY_R_0006_0002__SECRET,R_0006_0016__THE_R_0006_0017__AIR,Z_0006_5006___STAR_] :
      ( ( r_0006_0001__Any_r_0006_0002__secret(R_0006_0001__ANY_R_0006_0002__SECRET)
        & r_0006_0016__the_r_0006_0017__air(R_0006_0016__THE_R_0006_0017__AIR)
        & z_0006_5006___star_(Z_0006_5006___STAR_)
        & r_0006_0013__is_r_0006_0014__transmitted(R_0006_0013__IS_R_0006_0014__TRANSMITTED)
        & has_arg0(R_0006_0013__IS_R_0006_0014__TRANSMITTED,Z_0006_5006___STAR_)
        & has_r_0006_0015__over__nim(R_0006_0013__IS_R_0006_0014__TRANSMITTED,R_0006_0016__THE_R_0006_0017__AIR)
        & has_arg1(R_0006_0013__IS_R_0006_0014__TRANSMITTED,R_0006_0001__ANY_R_0006_0002__SECRET) )
     => ? [R_0006_0007__THE_R_0006_0008__EXPERTS,R_0006_0009__SAID,Z_0006_5014___STAR_,R_0006_0003__CAN_R_0006_0004__BE_R_0006_0005__PIRATED] :
          ( r_0006_0007__the_r_0006_0008__experts(R_0006_0007__THE_R_0006_0008__EXPERTS)
          & z_0006_5014___star_(Z_0006_5014___STAR_)
          & r_0006_0003__can_r_0006_0004__be_r_0006_0005__pirated(R_0006_0003__CAN_R_0006_0004__BE_R_0006_0005__PIRATED)
          & has_arg0(R_0006_0003__CAN_R_0006_0004__BE_R_0006_0005__PIRATED,Z_0006_5014___STAR_)
          & has_arg1(R_0006_0003__CAN_R_0006_0004__BE_R_0006_0005__PIRATED,R_0006_0001__ANY_R_0006_0002__SECRET)
          & has_prn(R_0006_0003__CAN_R_0006_0004__BE_R_0006_0005__PIRATED,R_0006_0009__SAID)
          & r_0006_0009__said(R_0006_0009__SAID)
          & has_arg0(R_0006_0009__SAID,R_0006_0007__THE_R_0006_0008__EXPERTS) ) ) ).