Context                Previous, Next                Top


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

%3 r_0006_0003__can can r_0006_0004__be be r_0006_0003__can->r_0006_0004__be [scope] r_0006_0005__pirated pirated r_0006_0004__be->r_0006_0005__pirated [scope] r_0006_0001__Any_r_0006_0002__secret Any secret r_0006_0005__pirated->r_0006_0001__Any_r_0006_0002__secret [arg1] z_000_6_a_wsj_1640_13 r_0006_0005__pirated->z_000_6_a_wsj_1640_13 [arg0] r_0006_0011__if if r_0006_0011__if->r_0006_0003__can [scope] r_0006_0013__is is r_0006_0011__if->r_0006_0013__is [restriction] r_0006_0014__transmitted transmitted r_0006_0013__is->r_0006_0014__transmitted [scope] r_0006_0014__transmitted->r_0006_0001__Any_r_0006_0002__secret [arg1] r_0006_0016__the_r_0006_0017__air the air r_0006_0014__transmitted->r_0006_0016__the_r_0006_0017__air over [nim] z_000_6_a_wsj_1640_40 r_0006_0014__transmitted->z_000_6_a_wsj_1640_40 [arg0] 
arc(r_0006_0003__can, r_0006_0004__be, scope).
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_000_6_a_wsj_1640_13, 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_nim47).
arc(r_0006_0014__transmitted, z_000_6_a_wsj_1640_40, arg0).


%3 r_0006_0003__can_r_0006_0004__be_r_0006_0005__pirated can be pirated r_0006_0001__Any_r_0006_0002__secret Any secret r_0006_0003__can_r_0006_0004__be_r_0006_0005__pirated->r_0006_0001__Any_r_0006_0002__secret [arg1] z_000_6_a_wsj_1640_13 r_0006_0003__can_r_0006_0004__be_r_0006_0005__pirated->z_000_6_a_wsj_1640_13 [arg0] r_0006_0011__if if r_0006_0011__if->r_0006_0003__can_r_0006_0004__be_r_0006_0005__pirated [scope] r_0006_0013__is_r_0006_0014__transmitted is transmitted r_0006_0011__if->r_0006_0013__is_r_0006_0014__transmitted [restriction] r_0006_0013__is_r_0006_0014__transmitted->r_0006_0001__Any_r_0006_0002__secret [arg1] r_0006_0016__the_r_0006_0017__air the air r_0006_0013__is_r_0006_0014__transmitted->r_0006_0016__the_r_0006_0017__air over [nim] z_000_6_a_wsj_1640_40 r_0006_0013__is_r_0006_0014__transmitted->z_000_6_a_wsj_1640_40 [arg0] 
fof(formula,axiom,
    ! [R_6_13_IS_TRANSMITTED,Z_6_A_WSJ_1640_40,R_6_1_ANY_SECRET,R_6_16_THE_AIR] :
      ( ( any_secret(R_6_1_ANY_SECRET)
        & the_air(R_6_16_THE_AIR)
        & is_transmitted(R_6_13_IS_TRANSMITTED,Z_6_A_WSJ_1640_40,R_6_1_ANY_SECRET)
        & over_nim47(R_6_13_IS_TRANSMITTED,R_6_16_THE_AIR) )
     => ? [R_6_3_CAN_BE_PIRATED,Z_6_A_WSJ_1640_13] : can_be_pirated(R_6_3_CAN_BE_PIRATED,Z_6_A_WSJ_1640_13,R_6_1_ANY_SECRET) ) ).


n6_a_wsj_1640 n6_a_wsj_1640_4 Any n6_a_wsj_1640_6 secret n6_a_wsj_1640_8 can n6_a_wsj_1640_11 be n6_a_wsj_1640_14 * n6_a_wsj_1640_16 pirated n6_a_wsj_1640_18 , n6_a_wsj_1640_23 the n6_a_wsj_1640_25 experts n6_a_wsj_1640_27 said n6_a_wsj_1640_29 , n6_a_wsj_1640_32 if n6_a_wsj_1640_36 it n6_a_wsj_1640_38 is n6_a_wsj_1640_41 * n6_a_wsj_1640_43 transmitted n6_a_wsj_1640_46 over n6_a_wsj_1640_49 the n6_a_wsj_1640_51 air n6_a_wsj_1640_53 . n6_a_wsj_1640_1 IP-MAT n6_a_wsj_1640_2 NP-SBJ n6_a_wsj_1640_1->n6_a_wsj_1640_2 n6_a_wsj_1640_7 MD;_cat_Vi_ n6_a_wsj_1640_1->n6_a_wsj_1640_7 n6_a_wsj_1640_9 IP-INF-CAT n6_a_wsj_1640_1->n6_a_wsj_1640_9 n6_a_wsj_1640_17 PUNC n6_a_wsj_1640_1->n6_a_wsj_1640_17 n6_a_wsj_1640_19 PRN n6_a_wsj_1640_1->n6_a_wsj_1640_19 n6_a_wsj_1640_28 PUNC n6_a_wsj_1640_1->n6_a_wsj_1640_28 n6_a_wsj_1640_30 PP-SCON n6_a_wsj_1640_1->n6_a_wsj_1640_30 n6_a_wsj_1640_52 PUNC n6_a_wsj_1640_1->n6_a_wsj_1640_52 n6_a_wsj_1640_3 D n6_a_wsj_1640_2->n6_a_wsj_1640_3 n6_a_wsj_1640_5 N n6_a_wsj_1640_2->n6_a_wsj_1640_5 n6_a_wsj_1640_3->n6_a_wsj_1640_4 n6_a_wsj_1640_5->n6_a_wsj_1640_6 n6_a_wsj_1640_7->n6_a_wsj_1640_8 n6_a_wsj_1640_10 BE;_cat_VePASS_ n6_a_wsj_1640_9->n6_a_wsj_1640_10 n6_a_wsj_1640_12 IP-PPL-CAT n6_a_wsj_1640_9->n6_a_wsj_1640_12 n6_a_wsj_1640_10->n6_a_wsj_1640_11 n6_a_wsj_1640_13 NP-LGS n6_a_wsj_1640_12->n6_a_wsj_1640_13 n6_a_wsj_1640_15 VVN;_Tn_ n6_a_wsj_1640_12->n6_a_wsj_1640_15 n6_a_wsj_1640_13->n6_a_wsj_1640_14 n6_a_wsj_1640_15->n6_a_wsj_1640_16 n6_a_wsj_1640_17->n6_a_wsj_1640_18 n6_a_wsj_1640_20 IP-MAT n6_a_wsj_1640_19->n6_a_wsj_1640_20 n6_a_wsj_1640_21 NP-SBJ n6_a_wsj_1640_20->n6_a_wsj_1640_21 n6_a_wsj_1640_26 VBD;_Tf_ n6_a_wsj_1640_20->n6_a_wsj_1640_26 n6_a_wsj_1640_22 D n6_a_wsj_1640_21->n6_a_wsj_1640_22 n6_a_wsj_1640_24 NS n6_a_wsj_1640_21->n6_a_wsj_1640_24 n6_a_wsj_1640_22->n6_a_wsj_1640_23 n6_a_wsj_1640_24->n6_a_wsj_1640_25 n6_a_wsj_1640_26->n6_a_wsj_1640_27 n6_a_wsj_1640_28->n6_a_wsj_1640_29 n6_a_wsj_1640_31 P-CONN n6_a_wsj_1640_30->n6_a_wsj_1640_31 n6_a_wsj_1640_33 IP-ADV n6_a_wsj_1640_30->n6_a_wsj_1640_33 n6_a_wsj_1640_31->n6_a_wsj_1640_32 n6_a_wsj_1640_34 NP-SBJ n6_a_wsj_1640_33->n6_a_wsj_1640_34 n6_a_wsj_1640_37 BEP;_cat_VePASS_ n6_a_wsj_1640_33->n6_a_wsj_1640_37 n6_a_wsj_1640_39 IP-PPL-CAT n6_a_wsj_1640_33->n6_a_wsj_1640_39 n6_a_wsj_1640_35 PRO n6_a_wsj_1640_34->n6_a_wsj_1640_35 n6_a_wsj_1640_35->n6_a_wsj_1640_36 n6_a_wsj_1640_37->n6_a_wsj_1640_38 n6_a_wsj_1640_40 NP-LGS n6_a_wsj_1640_39->n6_a_wsj_1640_40 n6_a_wsj_1640_42 VVN;_Tn.pr_ n6_a_wsj_1640_39->n6_a_wsj_1640_42 n6_a_wsj_1640_44 PP-NIM n6_a_wsj_1640_39->n6_a_wsj_1640_44 n6_a_wsj_1640_40->n6_a_wsj_1640_41 n6_a_wsj_1640_42->n6_a_wsj_1640_43 n6_a_wsj_1640_45 P-ROLE n6_a_wsj_1640_44->n6_a_wsj_1640_45 n6_a_wsj_1640_47 NP n6_a_wsj_1640_44->n6_a_wsj_1640_47 n6_a_wsj_1640_45->n6_a_wsj_1640_46 n6_a_wsj_1640_48 D n6_a_wsj_1640_47->n6_a_wsj_1640_48 n6_a_wsj_1640_50 N n6_a_wsj_1640_47->n6_a_wsj_1640_50 n6_a_wsj_1640_48->n6_a_wsj_1640_49 n6_a_wsj_1640_50->n6_a_wsj_1640_51 n6_a_wsj_1640_52->n6_a_wsj_1640_53 
( (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))