Context                Previous, Next                Top


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_0020__information information r_0010_0019__erroneous erroneous r_0010_0020__information->r_0010_0019__erroneous [attrib] r_0010_0014__to_r_0010_0015__set_r_0010_0017__up to set up 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_0006__an_r_0010_0008__thief an thief r_0010_0014__to_r_0010_0015__set_r_0010_0017__up->r_0010_0006__an_r_0010_0008__thief [arg1] 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_0014__to_r_0010_0015__set_r_0010_0017__up [prd] r_0010_0001__The_r_0010_0003__way The way r_0010_0013__is->r_0010_0001__The_r_0010_0003__way [arg0] 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_0002__only only r_0010_0001__The_r_0010_0003__way->r_0010_0002__only [attrib] 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] 
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__1_1_1_1 The n10_a_wsj_1640__1_1_2_1_1 only n10_a_wsj_1640__1_1_3_1 way n10_a_wsj_1640__1_1_4_1_1 to n10_a_wsj_1640__1_1_4_2_1 catch n10_a_wsj_1640__1_1_4_3_1_1 an n10_a_wsj_1640__1_1_4_3_2_1_1 electronic n10_a_wsj_1640__1_1_4_3_3_1 thief n10_a_wsj_1640__1_2_1 , n10_a_wsj_1640__1_3_1_1_1_1 he n10_a_wsj_1640__1_3_1_2_1 said n10_a_wsj_1640__1_4_1 , n10_a_wsj_1640__1_5_1 is n10_a_wsj_1640__1_6_1_1 to n10_a_wsj_1640__1_6_2_1 set n10_a_wsj_1640__1_6_3_1_1 him n10_a_wsj_1640__1_6_4_1 up n10_a_wsj_1640__1_6_5_1_1 with n10_a_wsj_1640__1_6_5_2_1_1_1 erroneous n10_a_wsj_1640__1_6_5_2_2_1 information n10_a_wsj_1640__1_7_1 . n10_a_wsj_1640__1 IP-MAT n10_a_wsj_1640__1_1 NP-SBJ n10_a_wsj_1640__1->n10_a_wsj_1640__1_1 n10_a_wsj_1640__1_2 PUNC n10_a_wsj_1640__1->n10_a_wsj_1640__1_2 n10_a_wsj_1640__1_3 PRN n10_a_wsj_1640__1->n10_a_wsj_1640__1_3 n10_a_wsj_1640__1_4 PUNC n10_a_wsj_1640__1->n10_a_wsj_1640__1_4 n10_a_wsj_1640__1_5 BEP;_equ_Vt_ n10_a_wsj_1640__1->n10_a_wsj_1640__1_5 n10_a_wsj_1640__1_6 IP-INF-PRD n10_a_wsj_1640__1->n10_a_wsj_1640__1_6 n10_a_wsj_1640__1_7 PUNC n10_a_wsj_1640__1->n10_a_wsj_1640__1_7 n10_a_wsj_1640__1_1_1 D n10_a_wsj_1640__1_1->n10_a_wsj_1640__1_1_1 n10_a_wsj_1640__1_1_2 ADJP n10_a_wsj_1640__1_1->n10_a_wsj_1640__1_1_2 n10_a_wsj_1640__1_1_3 N n10_a_wsj_1640__1_1->n10_a_wsj_1640__1_1_3 n10_a_wsj_1640__1_1_4 IP-INF n10_a_wsj_1640__1_1->n10_a_wsj_1640__1_1_4 n10_a_wsj_1640__1_1_1->n10_a_wsj_1640__1_1_1_1 n10_a_wsj_1640__1_1_2_1 ADJ n10_a_wsj_1640__1_1_2->n10_a_wsj_1640__1_1_2_1 n10_a_wsj_1640__1_1_2_1->n10_a_wsj_1640__1_1_2_1_1 n10_a_wsj_1640__1_1_3->n10_a_wsj_1640__1_1_3_1 n10_a_wsj_1640__1_1_4_1 TO n10_a_wsj_1640__1_1_4->n10_a_wsj_1640__1_1_4_1 n10_a_wsj_1640__1_1_4_2 VB;_Tn_ n10_a_wsj_1640__1_1_4->n10_a_wsj_1640__1_1_4_2 n10_a_wsj_1640__1_1_4_3 NP-OB1 n10_a_wsj_1640__1_1_4->n10_a_wsj_1640__1_1_4_3 n10_a_wsj_1640__1_1_4_1->n10_a_wsj_1640__1_1_4_1_1 n10_a_wsj_1640__1_1_4_2->n10_a_wsj_1640__1_1_4_2_1 n10_a_wsj_1640__1_1_4_3_1 D n10_a_wsj_1640__1_1_4_3->n10_a_wsj_1640__1_1_4_3_1 n10_a_wsj_1640__1_1_4_3_2 ADJP n10_a_wsj_1640__1_1_4_3->n10_a_wsj_1640__1_1_4_3_2 n10_a_wsj_1640__1_1_4_3_3 N n10_a_wsj_1640__1_1_4_3->n10_a_wsj_1640__1_1_4_3_3 n10_a_wsj_1640__1_1_4_3_1->n10_a_wsj_1640__1_1_4_3_1_1 n10_a_wsj_1640__1_1_4_3_2_1 ADJ n10_a_wsj_1640__1_1_4_3_2->n10_a_wsj_1640__1_1_4_3_2_1 n10_a_wsj_1640__1_1_4_3_2_1->n10_a_wsj_1640__1_1_4_3_2_1_1 n10_a_wsj_1640__1_1_4_3_3->n10_a_wsj_1640__1_1_4_3_3_1 n10_a_wsj_1640__1_2->n10_a_wsj_1640__1_2_1 n10_a_wsj_1640__1_3_1 IP-MAT n10_a_wsj_1640__1_3->n10_a_wsj_1640__1_3_1 n10_a_wsj_1640__1_3_1_1 NP-SBJ n10_a_wsj_1640__1_3_1->n10_a_wsj_1640__1_3_1_1 n10_a_wsj_1640__1_3_1_2 VBD;_Tr_ n10_a_wsj_1640__1_3_1->n10_a_wsj_1640__1_3_1_2 n10_a_wsj_1640__1_3_1_1_1 PRO n10_a_wsj_1640__1_3_1_1->n10_a_wsj_1640__1_3_1_1_1 n10_a_wsj_1640__1_3_1_1_1->n10_a_wsj_1640__1_3_1_1_1_1 n10_a_wsj_1640__1_3_1_2->n10_a_wsj_1640__1_3_1_2_1 n10_a_wsj_1640__1_4->n10_a_wsj_1640__1_4_1 n10_a_wsj_1640__1_5->n10_a_wsj_1640__1_5_1 n10_a_wsj_1640__1_6_1 TO n10_a_wsj_1640__1_6->n10_a_wsj_1640__1_6_1 n10_a_wsj_1640__1_6_2 VB;_phr_Vn<=>p_ n10_a_wsj_1640__1_6->n10_a_wsj_1640__1_6_2 n10_a_wsj_1640__1_6_3 NP-OB1 n10_a_wsj_1640__1_6->n10_a_wsj_1640__1_6_3 n10_a_wsj_1640__1_6_4 RP n10_a_wsj_1640__1_6->n10_a_wsj_1640__1_6_4 n10_a_wsj_1640__1_6_5 PP-NIM n10_a_wsj_1640__1_6->n10_a_wsj_1640__1_6_5 n10_a_wsj_1640__1_6_1->n10_a_wsj_1640__1_6_1_1 n10_a_wsj_1640__1_6_2->n10_a_wsj_1640__1_6_2_1 n10_a_wsj_1640__1_6_3_1 PRO n10_a_wsj_1640__1_6_3->n10_a_wsj_1640__1_6_3_1 n10_a_wsj_1640__1_6_3_1->n10_a_wsj_1640__1_6_3_1_1 n10_a_wsj_1640__1_6_4->n10_a_wsj_1640__1_6_4_1 n10_a_wsj_1640__1_6_5_1 P-ROLE n10_a_wsj_1640__1_6_5->n10_a_wsj_1640__1_6_5_1 n10_a_wsj_1640__1_6_5_2 NP n10_a_wsj_1640__1_6_5->n10_a_wsj_1640__1_6_5_2 n10_a_wsj_1640__1_6_5_1->n10_a_wsj_1640__1_6_5_1_1 n10_a_wsj_1640__1_6_5_2_1 ADJP n10_a_wsj_1640__1_6_5_2->n10_a_wsj_1640__1_6_5_2_1 n10_a_wsj_1640__1_6_5_2_2 N n10_a_wsj_1640__1_6_5_2->n10_a_wsj_1640__1_6_5_2_2 n10_a_wsj_1640__1_6_5_2_1_1 ADJ n10_a_wsj_1640__1_6_5_2_1->n10_a_wsj_1640__1_6_5_2_1_1 n10_a_wsj_1640__1_6_5_2_1_1->n10_a_wsj_1640__1_6_5_2_1_1_1 n10_a_wsj_1640__1_6_5_2_2->n10_a_wsj_1640__1_6_5_2_2_1 n10_a_wsj_1640__1_7->n10_a_wsj_1640__1_7_1 
( (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))