10_a_wsj_1640
The only way to catch an electronic thief, he said, is to set him up with erroneous information.

%3 r_0010_0001__The_r_0010_0003__way The way r_0010_0002__only only r_0010_0001__The_r_0010_0003__way->r_0010_0002__only [attrib] r_0010_0004__to_r_0010_0005__catch to catch r_0010_0001__The_r_0010_0003__way->r_0010_0004__to_r_0010_0005__catch [emb] r_0010_0006__an_r_0010_0008__thief an thief r_0010_0004__to_r_0010_0005__catch->r_0010_0006__an_r_0010_0008__thief [arg1] z_000_10_a_wsj_1640_10 r_0010_0004__to_r_0010_0005__catch->z_000_10_a_wsj_1640_10 [arg0] r_0010_0007__electronic electronic r_0010_0006__an_r_0010_0008__thief->r_0010_0007__electronic [attrib] r_0010_0013__is is r_0010_0013__is->r_0010_0001__The_r_0010_0003__way [arg0] r_0010_0014__to_r_0010_0015__set_r_0010_0017__up to set up r_0010_0013__is->r_0010_0014__to_r_0010_0015__set_r_0010_0017__up [prd] r_0010_0014__to_r_0010_0015__set_r_0010_0017__up->r_0010_0006__an_r_0010_0008__thief [arg1] r_0010_0020__information information r_0010_0014__to_r_0010_0015__set_r_0010_0017__up->r_0010_0020__information with [nim] x_000_10_a_wsj_1640_36 __ r_0010_0014__to_r_0010_0015__set_r_0010_0017__up->x_000_10_a_wsj_1640_36 [arg0] r_0010_0019__erroneous erroneous r_0010_0020__information->r_0010_0019__erroneous [attrib]
arc(r_0010_0001__The_r_0010_0003__way, r_0010_0002__only, attrib5).
arc(r_0010_0001__The_r_0010_0003__way, r_0010_0004__to_r_0010_0005__catch, emb10).
arc(r_0010_0004__to_r_0010_0005__catch, r_0010_0006__an_r_0010_0008__thief, arg1).
arc(r_0010_0004__to_r_0010_0005__catch, z_000_10_a_wsj_1640_10, arg0).
arc(r_0010_0006__an_r_0010_0008__thief, r_0010_0007__electronic, attrib18).
arc(r_0010_0013__is, r_0010_0001__The_r_0010_0003__way, arg0).
arc(r_0010_0013__is, r_0010_0014__to_r_0010_0015__set_r_0010_0017__up, prd).
arc(r_0010_0014__to_r_0010_0015__set_r_0010_0017__up, r_0010_0006__an_r_0010_0008__thief, arg1).
arc(r_0010_0014__to_r_0010_0015__set_r_0010_0017__up, r_0010_0020__information, r_0010_0018__with_nim49).
arc(r_0010_0014__to_r_0010_0015__set_r_0010_0017__up, x_000_10_a_wsj_1640_36, arg0).
arc(r_0010_0020__information, r_0010_0019__erroneous, attrib50).



%3 r_0010_0001__The_r_0010_0003__way The way r_0010_0002__only only r_0010_0001__The_r_0010_0003__way->r_0010_0002__only [attrib] r_0010_0004__to_r_0010_0005__catch to catch r_0010_0001__The_r_0010_0003__way->r_0010_0004__to_r_0010_0005__catch [emb] r_0010_0006__an_r_0010_0008__thief an thief r_0010_0004__to_r_0010_0005__catch->r_0010_0006__an_r_0010_0008__thief [arg1] z_000_10_a_wsj_1640_10 r_0010_0004__to_r_0010_0005__catch->z_000_10_a_wsj_1640_10 [arg0] r_0010_0007__electronic electronic r_0010_0006__an_r_0010_0008__thief->r_0010_0007__electronic [attrib] r_0010_0013__is is r_0010_0013__is->r_0010_0001__The_r_0010_0003__way [arg0] r_0010_0014__to_r_0010_0015__set_r_0010_0017__up to set up r_0010_0013__is->r_0010_0014__to_r_0010_0015__set_r_0010_0017__up [prd] r_0010_0014__to_r_0010_0015__set_r_0010_0017__up->r_0010_0006__an_r_0010_0008__thief [arg1] r_0010_0020__information information r_0010_0014__to_r_0010_0015__set_r_0010_0017__up->r_0010_0020__information with [nim] x_000_10_a_wsj_1640_36 __ r_0010_0014__to_r_0010_0015__set_r_0010_0017__up->x_000_10_a_wsj_1640_36 [arg0] r_0010_0019__erroneous erroneous r_0010_0020__information->r_0010_0019__erroneous [attrib]
fof(formula,axiom,
    ? [R_10_13_IS,R_10_1_THE_WAY,R_10_2_ONLY,R_10_4_TO_CATCH,Z_10_A_WSJ_1640_10,R_10_14_TO_SET_UP,X_10_A_WSJ_1640_36,R_10_6_AN_THIEF,R_10_7_ELECTRONIC,R_10_20_INFORMATION,R_10_19_ERRONEOUS] :
      ( only(R_10_2_ONLY)
      & electronic(R_10_7_ELECTRONIC)
      & erroneous(R_10_19_ERRONEOUS)
      & is(R_10_13_IS,R_10_1_THE_WAY,R_10_14_TO_SET_UP)
      & the_way(R_10_1_THE_WAY)
      & attrib5(R_10_1_THE_WAY,R_10_2_ONLY)
      & emb10(R_10_1_THE_WAY,R_10_4_TO_CATCH)
      & to_catch(R_10_4_TO_CATCH,Z_10_A_WSJ_1640_10,R_10_6_AN_THIEF)
      & an_thief(R_10_6_AN_THIEF)
      & attrib18(R_10_6_AN_THIEF,R_10_7_ELECTRONIC)
      & to_set_up(R_10_14_TO_SET_UP,X_10_A_WSJ_1640_36,R_10_6_AN_THIEF)
      & with_nim49(R_10_14_TO_SET_UP,R_10_20_INFORMATION)
      & information(R_10_20_INFORMATION)
      & attrib50(R_10_20_INFORMATION,R_10_19_ERRONEOUS) ) ).



n10_a_wsj_1640 n10_a_wsj_1640_4 The n10_a_wsj_1640_7 only n10_a_wsj_1640_9 way n10_a_wsj_1640_12 to n10_a_wsj_1640_14 catch n10_a_wsj_1640_17 an n10_a_wsj_1640_20 electronic n10_a_wsj_1640_22 thief n10_a_wsj_1640_24 , n10_a_wsj_1640_29 he n10_a_wsj_1640_31 said n10_a_wsj_1640_33 , n10_a_wsj_1640_35 is n10_a_wsj_1640_38 to n10_a_wsj_1640_40 set n10_a_wsj_1640_43 him n10_a_wsj_1640_45 up n10_a_wsj_1640_48 with n10_a_wsj_1640_52 erroneous n10_a_wsj_1640_54 information n10_a_wsj_1640_56 . n10_a_wsj_1640_1 IP-MAT n10_a_wsj_1640_2 NP-SBJ n10_a_wsj_1640_1->n10_a_wsj_1640_2 n10_a_wsj_1640_23 PUNC n10_a_wsj_1640_1->n10_a_wsj_1640_23 n10_a_wsj_1640_25 PRN n10_a_wsj_1640_1->n10_a_wsj_1640_25 n10_a_wsj_1640_32 PUNC n10_a_wsj_1640_1->n10_a_wsj_1640_32 n10_a_wsj_1640_34 BEP;_equ_Vt_ n10_a_wsj_1640_1->n10_a_wsj_1640_34 n10_a_wsj_1640_36 IP-INF-PRD n10_a_wsj_1640_1->n10_a_wsj_1640_36 n10_a_wsj_1640_55 PUNC n10_a_wsj_1640_1->n10_a_wsj_1640_55 n10_a_wsj_1640_3 D n10_a_wsj_1640_2->n10_a_wsj_1640_3 n10_a_wsj_1640_5 ADJP n10_a_wsj_1640_2->n10_a_wsj_1640_5 n10_a_wsj_1640_8 N n10_a_wsj_1640_2->n10_a_wsj_1640_8 n10_a_wsj_1640_10 IP-INF n10_a_wsj_1640_2->n10_a_wsj_1640_10 n10_a_wsj_1640_3->n10_a_wsj_1640_4 n10_a_wsj_1640_6 ADJ n10_a_wsj_1640_5->n10_a_wsj_1640_6 n10_a_wsj_1640_6->n10_a_wsj_1640_7 n10_a_wsj_1640_8->n10_a_wsj_1640_9 n10_a_wsj_1640_11 TO n10_a_wsj_1640_10->n10_a_wsj_1640_11 n10_a_wsj_1640_13 VB;_Tn_ n10_a_wsj_1640_10->n10_a_wsj_1640_13 n10_a_wsj_1640_15 NP-OB1 n10_a_wsj_1640_10->n10_a_wsj_1640_15 n10_a_wsj_1640_11->n10_a_wsj_1640_12 n10_a_wsj_1640_13->n10_a_wsj_1640_14 n10_a_wsj_1640_16 D n10_a_wsj_1640_15->n10_a_wsj_1640_16 n10_a_wsj_1640_18 ADJP n10_a_wsj_1640_15->n10_a_wsj_1640_18 n10_a_wsj_1640_21 N n10_a_wsj_1640_15->n10_a_wsj_1640_21 n10_a_wsj_1640_16->n10_a_wsj_1640_17 n10_a_wsj_1640_19 ADJ n10_a_wsj_1640_18->n10_a_wsj_1640_19 n10_a_wsj_1640_19->n10_a_wsj_1640_20 n10_a_wsj_1640_21->n10_a_wsj_1640_22 n10_a_wsj_1640_23->n10_a_wsj_1640_24 n10_a_wsj_1640_26 IP-MAT n10_a_wsj_1640_25->n10_a_wsj_1640_26 n10_a_wsj_1640_27 NP-SBJ n10_a_wsj_1640_26->n10_a_wsj_1640_27 n10_a_wsj_1640_30 VBD;_Tr_ n10_a_wsj_1640_26->n10_a_wsj_1640_30 n10_a_wsj_1640_28 PRO n10_a_wsj_1640_27->n10_a_wsj_1640_28 n10_a_wsj_1640_28->n10_a_wsj_1640_29 n10_a_wsj_1640_30->n10_a_wsj_1640_31 n10_a_wsj_1640_32->n10_a_wsj_1640_33 n10_a_wsj_1640_34->n10_a_wsj_1640_35 n10_a_wsj_1640_37 TO n10_a_wsj_1640_36->n10_a_wsj_1640_37 n10_a_wsj_1640_39 VB;_phr_Vn<=>p_ n10_a_wsj_1640_36->n10_a_wsj_1640_39 n10_a_wsj_1640_41 NP-OB1 n10_a_wsj_1640_36->n10_a_wsj_1640_41 n10_a_wsj_1640_44 RP n10_a_wsj_1640_36->n10_a_wsj_1640_44 n10_a_wsj_1640_46 PP-NIM n10_a_wsj_1640_36->n10_a_wsj_1640_46 n10_a_wsj_1640_37->n10_a_wsj_1640_38 n10_a_wsj_1640_39->n10_a_wsj_1640_40 n10_a_wsj_1640_42 PRO n10_a_wsj_1640_41->n10_a_wsj_1640_42 n10_a_wsj_1640_42->n10_a_wsj_1640_43 n10_a_wsj_1640_44->n10_a_wsj_1640_45 n10_a_wsj_1640_47 P-ROLE n10_a_wsj_1640_46->n10_a_wsj_1640_47 n10_a_wsj_1640_49 NP n10_a_wsj_1640_46->n10_a_wsj_1640_49 n10_a_wsj_1640_47->n10_a_wsj_1640_48 n10_a_wsj_1640_50 ADJP n10_a_wsj_1640_49->n10_a_wsj_1640_50 n10_a_wsj_1640_53 N n10_a_wsj_1640_49->n10_a_wsj_1640_53 n10_a_wsj_1640_51 ADJ n10_a_wsj_1640_50->n10_a_wsj_1640_51 n10_a_wsj_1640_51->n10_a_wsj_1640_52 n10_a_wsj_1640_53->n10_a_wsj_1640_54 n10_a_wsj_1640_55->n10_a_wsj_1640_56
( (IP-MAT (NP-SBJ (D The;{the})
                  (ADJP (ADJ only;{only}))
                  (N way;{way})
                  (IP-INF (TO to;{to})
                          (VB;_Tn_ catch;{catch})
                          (NP-OB1;{THIEF} (D an;{an})
                                          (ADJP (ADJ electronic;{electronic}))
                                          (N thief;{thief}))))
          (PUNC ,)
          (PRN (IP-MAT (NP-SBJ;{MATCHETT} (PRO he;{he}))
                       (VBD;_Tr_ said;{say})))
          (PUNC ,)
          (BEP;_equ_Vt_ is;{be})
          (IP-INF-PRD (TO to;{to})
                      (VB;_phr_Vn<=>p_ set;{set[up]})
                      (NP-OB1;{THIEF} (PRO him;{he}))
                      (RP up;{up})
                      (PP-NIM (P-ROLE with;{with})
                              (NP (ADJP (ADJ erroneous;{erroneous}))
                                  (N information;{information}))))
          (PUNC .))
  (ID 10_a_wsj_1640))