TSPC 10_a_wsj

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

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).

fof(formula,axiom,
    ? [R_0010_0002__ONLY,R_0010_0007__ELECTRONIC,R_0010_0006__AN_R_0010_0008__THIEF,Z_000_10_A_WSJ_1640_10,R_0010_0004__TO_R_0010_0005__CATCH,R_0010_0001__THE_R_0010_0003__WAY,R_0010_0019__ERRONEOUS,R_0010_0020__INFORMATION,X_000_10_A_WSJ_1640_36,R_0010_0014__TO_R_0010_0015__SET_R_0010_0017__UP,R_0010_0013__IS] :
      ( r_0010_0002__only(R_0010_0002__ONLY)
      & r_0010_0007__electronic(R_0010_0007__ELECTRONIC)
      & r_0010_0019__erroneous(R_0010_0019__ERRONEOUS)
      & x_000_10_a_wsj_1640_36(X_000_10_A_WSJ_1640_36)
      & z_000_10_a_wsj_1640_10(Z_000_10_A_WSJ_1640_10)
      & r_0010_0013__is(R_0010_0013__IS)
      & has_prd(R_0010_0013__IS,R_0010_0014__TO_R_0010_0015__SET_R_0010_0017__UP)
      & r_0010_0014__to_r_0010_0015__set_r_0010_0017__up(R_0010_0014__TO_R_0010_0015__SET_R_0010_0017__UP)
      & has_arg0(R_0010_0014__TO_R_0010_0015__SET_R_0010_0017__UP,X_000_10_A_WSJ_1640_36)
      & has_r_0010_0018__with_nim49(R_0010_0014__TO_R_0010_0015__SET_R_0010_0017__UP,R_0010_0020__INFORMATION)
      & r_0010_0020__information(R_0010_0020__INFORMATION)
      & has_attrib50(R_0010_0020__INFORMATION,R_0010_0019__ERRONEOUS)
      & has_arg1(R_0010_0014__TO_R_0010_0015__SET_R_0010_0017__UP,R_0010_0006__AN_R_0010_0008__THIEF)
      & r_0010_0006__an_r_0010_0008__thief(R_0010_0006__AN_R_0010_0008__THIEF)
      & has_attrib18(R_0010_0006__AN_R_0010_0008__THIEF,R_0010_0007__ELECTRONIC)
      & has_arg0(R_0010_0013__IS,R_0010_0001__THE_R_0010_0003__WAY)
      & r_0010_0001__The_r_0010_0003__way(R_0010_0001__THE_R_0010_0003__WAY)
      & has_emb10(R_0010_0001__THE_R_0010_0003__WAY,R_0010_0004__TO_R_0010_0005__CATCH)
      & r_0010_0004__to_r_0010_0005__catch(R_0010_0004__TO_R_0010_0005__CATCH)
      & has_arg0(R_0010_0004__TO_R_0010_0005__CATCH,Z_000_10_A_WSJ_1640_10)
      & has_arg1(R_0010_0004__TO_R_0010_0005__CATCH,R_0010_0006__AN_R_0010_0008__THIEF)
      & has_attrib5(R_0010_0001__THE_R_0010_0003__WAY,R_0010_0002__ONLY) ) ).

( (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))