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.

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

arc(r_0010_0001__The_r_0010_0003__way,r_0010_0002__only,attrib).
arc(r_0010_0001__The_r_0010_0003__way,r_0010_0005__catch,emb).
arc(r_0010_0005__catch,r_0010_0006__an_r_0010_0008__thief,arg1).
arc(r_0010_0005__catch,z_0010_5005,arg0).
arc(r_0010_0006__an_r_0010_0008__thief,r_0010_0007__electronic,attrib).
arc(r_0010_0011__said,r_0010_0010__he,arg0).
arc(r_0010_0013__is,r_0010_0001__The_r_0010_0003__way,arg0).
arc(r_0010_0013__is,r_0010_0011__said,prn).
arc(r_0010_0013__is,r_0010_0015__set_r_0010_0017__up,prd).
arc(r_0010_0015__set_r_0010_0017__up,r_0010_0006__an_r_0010_0008__thief,arg1).
arc(r_0010_0015__set_r_0010_0017__up,r_0010_0020__information,r_0010_0018__with__nim).
arc(r_0010_0015__set_r_0010_0017__up,z_0010_5011,arg0).
arc(r_0010_0020__information,r_0010_0019__erroneous,attrib).

fof(formula,axiom,
    ? [R_0010_0002__ONLY,R_0010_0007__ELECTRONIC,R_0010_0006__AN_R_0010_0008__THIEF,Z_0010_5005,R_0010_0005__CATCH,R_0010_0001__THE_R_0010_0003__WAY,R_0010_0010__HE,R_0010_0011__SAID,R_0010_0019__ERRONEOUS,R_0010_0020__INFORMATION,Z_0010_5011,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_0010__he(R_0010_0010__HE)
      & r_0010_0019__erroneous(R_0010_0019__ERRONEOUS)
      & z_0010_5005(Z_0010_5005)
      & z_0010_5011(Z_0010_5011)
      & r_0010_0013__is(R_0010_0013__IS)
      & has_prd(R_0010_0013__IS,R_0010_0015__SET_R_0010_0017__UP)
      & r_0010_0015__set_r_0010_0017__up(R_0010_0015__SET_R_0010_0017__UP)
      & has_arg0(R_0010_0015__SET_R_0010_0017__UP,Z_0010_5011)
      & has_r_0010_0018__with__nim(R_0010_0015__SET_R_0010_0017__UP,R_0010_0020__INFORMATION)
      & r_0010_0020__information(R_0010_0020__INFORMATION)
      & has_attrib(R_0010_0020__INFORMATION,R_0010_0019__ERRONEOUS)
      & has_arg1(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_attrib(R_0010_0006__AN_R_0010_0008__THIEF,R_0010_0007__ELECTRONIC)
      & has_prn(R_0010_0013__IS,R_0010_0011__SAID)
      & r_0010_0011__said(R_0010_0011__SAID)
      & has_arg0(R_0010_0011__SAID,R_0010_0010__HE)
      & 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_emb(R_0010_0001__THE_R_0010_0003__WAY,R_0010_0005__CATCH)
      & r_0010_0005__catch(R_0010_0005__CATCH)
      & has_arg0(R_0010_0005__CATCH,Z_0010_5005)
      & has_arg1(R_0010_0005__CATCH,R_0010_0006__AN_R_0010_0008__THIEF)
      & has_attrib(R_0010_0001__THE_R_0010_0003__WAY,R_0010_0002__ONLY) ) ).