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_0013__is_r_0006_0014__transmitted is transmitted z_000_6_a_wsj_1640_40 r_0006_0013__is_r_0006_0014__transmitted->z_000_6_a_wsj_1640_40 [arg0] 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] r_0006_0001__Any_r_0006_0002__secret Any secret r_0006_0013__is_r_0006_0014__transmitted->r_0006_0001__Any_r_0006_0002__secret [arg1] r_0006_0011__if if r_0006_0011__if->r_0006_0013__is_r_0006_0014__transmitted [restriction] r_0006_0003__can_r_0006_0004__be_r_0006_0005__pirated can be pirated r_0006_0011__if->r_0006_0003__can_r_0006_0004__be_r_0006_0005__pirated [scope] 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] 
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_000_6_A_WSJ_1640_40] :
      ( ( 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_000_6_a_wsj_1640_40(Z_000_6_A_WSJ_1640_40)
        & 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_000_6_A_WSJ_1640_40)
        & has_r_0006_0015__over_nim47(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) )
     => ? [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(Z_000_6_A_WSJ_1640_13)
          & 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_000_6_A_WSJ_1640_13)
          & has_arg1(R_0006_0003__CAN_R_0006_0004__BE_R_0006_0005__PIRATED,R_0006_0001__ANY_R_0006_0002__SECRET) ) ) ).


n6_a_wsj_1640 n6_a_wsj_1640__1_1_1_1 Any n6_a_wsj_1640__1_1_2_1 secret n6_a_wsj_1640__1_2_1 can n6_a_wsj_1640__1_3_1_1 be n6_a_wsj_1640__1_3_2_1_1 * n6_a_wsj_1640__1_3_2_2_1 pirated n6_a_wsj_1640__1_4_1 , n6_a_wsj_1640__1_5_1_1_1_1 the n6_a_wsj_1640__1_5_1_1_2_1 experts n6_a_wsj_1640__1_5_1_2_1 said n6_a_wsj_1640__1_6_1 , n6_a_wsj_1640__1_7_1_1 if n6_a_wsj_1640__1_7_2_1_1_1 it n6_a_wsj_1640__1_7_2_2_1 is n6_a_wsj_1640__1_7_2_3_1_1 * n6_a_wsj_1640__1_7_2_3_2_1 transmitted n6_a_wsj_1640__1_7_2_3_3_1_1 over n6_a_wsj_1640__1_7_2_3_3_2_1_1 the n6_a_wsj_1640__1_7_2_3_3_2_2_1 air n6_a_wsj_1640__1_8_1 . n6_a_wsj_1640__1 IP-MAT n6_a_wsj_1640__1_1 NP-SBJ n6_a_wsj_1640__1->n6_a_wsj_1640__1_1 n6_a_wsj_1640__1_2 MD;_cat_Vi_ n6_a_wsj_1640__1->n6_a_wsj_1640__1_2 n6_a_wsj_1640__1_3 IP-INF-CAT n6_a_wsj_1640__1->n6_a_wsj_1640__1_3 n6_a_wsj_1640__1_4 PUNC n6_a_wsj_1640__1->n6_a_wsj_1640__1_4 n6_a_wsj_1640__1_5 PRN n6_a_wsj_1640__1->n6_a_wsj_1640__1_5 n6_a_wsj_1640__1_6 PUNC n6_a_wsj_1640__1->n6_a_wsj_1640__1_6 n6_a_wsj_1640__1_7 PP-SCON n6_a_wsj_1640__1->n6_a_wsj_1640__1_7 n6_a_wsj_1640__1_8 PUNC n6_a_wsj_1640__1->n6_a_wsj_1640__1_8 n6_a_wsj_1640__1_1_1 D n6_a_wsj_1640__1_1->n6_a_wsj_1640__1_1_1 n6_a_wsj_1640__1_1_2 N n6_a_wsj_1640__1_1->n6_a_wsj_1640__1_1_2 n6_a_wsj_1640__1_1_1->n6_a_wsj_1640__1_1_1_1 n6_a_wsj_1640__1_1_2->n6_a_wsj_1640__1_1_2_1 n6_a_wsj_1640__1_2->n6_a_wsj_1640__1_2_1 n6_a_wsj_1640__1_3_1 BE;_cat_VePASS_ n6_a_wsj_1640__1_3->n6_a_wsj_1640__1_3_1 n6_a_wsj_1640__1_3_2 IP-PPL-CAT n6_a_wsj_1640__1_3->n6_a_wsj_1640__1_3_2 n6_a_wsj_1640__1_3_1->n6_a_wsj_1640__1_3_1_1 n6_a_wsj_1640__1_3_2_1 NP-LGS n6_a_wsj_1640__1_3_2->n6_a_wsj_1640__1_3_2_1 n6_a_wsj_1640__1_3_2_2 VVN;_Tn_ n6_a_wsj_1640__1_3_2->n6_a_wsj_1640__1_3_2_2 n6_a_wsj_1640__1_3_2_1->n6_a_wsj_1640__1_3_2_1_1 n6_a_wsj_1640__1_3_2_2->n6_a_wsj_1640__1_3_2_2_1 n6_a_wsj_1640__1_4->n6_a_wsj_1640__1_4_1 n6_a_wsj_1640__1_5_1 IP-MAT n6_a_wsj_1640__1_5->n6_a_wsj_1640__1_5_1 n6_a_wsj_1640__1_5_1_1 NP-SBJ n6_a_wsj_1640__1_5_1->n6_a_wsj_1640__1_5_1_1 n6_a_wsj_1640__1_5_1_2 VBD;_Tf_ n6_a_wsj_1640__1_5_1->n6_a_wsj_1640__1_5_1_2 n6_a_wsj_1640__1_5_1_1_1 D n6_a_wsj_1640__1_5_1_1->n6_a_wsj_1640__1_5_1_1_1 n6_a_wsj_1640__1_5_1_1_2 NS n6_a_wsj_1640__1_5_1_1->n6_a_wsj_1640__1_5_1_1_2 n6_a_wsj_1640__1_5_1_1_1->n6_a_wsj_1640__1_5_1_1_1_1 n6_a_wsj_1640__1_5_1_1_2->n6_a_wsj_1640__1_5_1_1_2_1 n6_a_wsj_1640__1_5_1_2->n6_a_wsj_1640__1_5_1_2_1 n6_a_wsj_1640__1_6->n6_a_wsj_1640__1_6_1 n6_a_wsj_1640__1_7_1 P-CONN n6_a_wsj_1640__1_7->n6_a_wsj_1640__1_7_1 n6_a_wsj_1640__1_7_2 IP-ADV n6_a_wsj_1640__1_7->n6_a_wsj_1640__1_7_2 n6_a_wsj_1640__1_7_1->n6_a_wsj_1640__1_7_1_1 n6_a_wsj_1640__1_7_2_1 NP-SBJ n6_a_wsj_1640__1_7_2->n6_a_wsj_1640__1_7_2_1 n6_a_wsj_1640__1_7_2_2 BEP;_cat_VePASS_ n6_a_wsj_1640__1_7_2->n6_a_wsj_1640__1_7_2_2 n6_a_wsj_1640__1_7_2_3 IP-PPL-CAT n6_a_wsj_1640__1_7_2->n6_a_wsj_1640__1_7_2_3 n6_a_wsj_1640__1_7_2_1_1 PRO n6_a_wsj_1640__1_7_2_1->n6_a_wsj_1640__1_7_2_1_1 n6_a_wsj_1640__1_7_2_1_1->n6_a_wsj_1640__1_7_2_1_1_1 n6_a_wsj_1640__1_7_2_2->n6_a_wsj_1640__1_7_2_2_1 n6_a_wsj_1640__1_7_2_3_1 NP-LGS n6_a_wsj_1640__1_7_2_3->n6_a_wsj_1640__1_7_2_3_1 n6_a_wsj_1640__1_7_2_3_2 VVN;_Tn.pr_ n6_a_wsj_1640__1_7_2_3->n6_a_wsj_1640__1_7_2_3_2 n6_a_wsj_1640__1_7_2_3_3 PP-NIM n6_a_wsj_1640__1_7_2_3->n6_a_wsj_1640__1_7_2_3_3 n6_a_wsj_1640__1_7_2_3_1->n6_a_wsj_1640__1_7_2_3_1_1 n6_a_wsj_1640__1_7_2_3_2->n6_a_wsj_1640__1_7_2_3_2_1 n6_a_wsj_1640__1_7_2_3_3_1 P-ROLE n6_a_wsj_1640__1_7_2_3_3->n6_a_wsj_1640__1_7_2_3_3_1 n6_a_wsj_1640__1_7_2_3_3_2 NP n6_a_wsj_1640__1_7_2_3_3->n6_a_wsj_1640__1_7_2_3_3_2 n6_a_wsj_1640__1_7_2_3_3_1->n6_a_wsj_1640__1_7_2_3_3_1_1 n6_a_wsj_1640__1_7_2_3_3_2_1 D n6_a_wsj_1640__1_7_2_3_3_2->n6_a_wsj_1640__1_7_2_3_3_2_1 n6_a_wsj_1640__1_7_2_3_3_2_2 N n6_a_wsj_1640__1_7_2_3_3_2->n6_a_wsj_1640__1_7_2_3_3_2_2 n6_a_wsj_1640__1_7_2_3_3_2_1->n6_a_wsj_1640__1_7_2_3_3_2_1_1 n6_a_wsj_1640__1_7_2_3_3_2_2->n6_a_wsj_1640__1_7_2_3_3_2_2_1 n6_a_wsj_1640__1_8->n6_a_wsj_1640__1_8_1 
( (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))