TSPC 434_a_dick

434_a_dick_1952
They watched him reach the door and pull hopefully on it without success.

( (IP-MAT (NP-SBJ;{DORLE+NASHA} (PRO They;{they}))
          (VBD;_Tni_ watched;{watch})
          (NP-DOB1;{TANCE} (PRO him;{he}))
          (IP-INF-OB1 (ILYR (ILYR (VB;_Tn_ reach;{reach})
                                  (NP-OB1;{DOOR} (D the;{the})
                                                 (N door;{door})))
                            (CONJP (CONJ and;{and})
                                   (ILYR (VB;_Ipr_ pull;{pull[on]})
                                         (ADVP-NIM (ADV hopefully;{hopefully}))
                                         (PP-CLR (P-ROLE on;{on})
                                                 (NP;{DOOR} (PRO it;{it})))
                                         (PP-NIM (P-ROLE without;{without})
                                                 (NP (N success;{success})))))))
          (PUNC .))
  (ID 434_a_dick_1952))

arc(r_0434_0002__watched,r_0434_0001__They,arg0).
arc(r_0434_0002__watched,r_0434_0007__and,arg1).
arc(r_0434_0004__reach,r_0434_0003__him,arg0).
arc(r_0434_0004__reach,r_0434_0005__the_r_0434_0006__door,arg1).
arc(r_0434_0007__and,r_0434_0004__reach,conj1).
arc(r_0434_0007__and,r_0434_0008__pull_r_0434_0010__on,conj2).
arc(r_0434_0008__pull_r_0434_0010__on,r_0434_0003__him,arg0).
arc(r_0434_0008__pull_r_0434_0010__on,r_0434_0005__the_r_0434_0006__door,arg1).
arc(r_0434_0008__pull_r_0434_0010__on,r_0434_0009__hopefully,nim).
arc(r_0434_0008__pull_r_0434_0010__on,r_0434_0013__success,r_0434_0012__without__nim).

fof(formula,axiom,
    ? [R_0434_0001__THEY,R_0434_0003__HIM,R_0434_0005__THE_R_0434_0006__DOOR,R_0434_0004__REACH,R_0434_0009__HOPEFULLY,R_0434_0013__SUCCESS,R_0434_0008__PULL_R_0434_0010__ON,R_0434_0007__AND,R_0434_0002__WATCHED] :
      ( r_0434_0001__They(R_0434_0001__THEY)
      & r_0434_0003__him(R_0434_0003__HIM)
      & r_0434_0005__the_r_0434_0006__door(R_0434_0005__THE_R_0434_0006__DOOR)
      & r_0434_0009__hopefully(R_0434_0009__HOPEFULLY)
      & r_0434_0013__success(R_0434_0013__SUCCESS)
      & r_0434_0002__watched(R_0434_0002__WATCHED)
      & has_arg1(R_0434_0002__WATCHED,R_0434_0007__AND)
      & r_0434_0007__and(R_0434_0007__AND)
      & has_conj2(R_0434_0007__AND,R_0434_0008__PULL_R_0434_0010__ON)
      & r_0434_0008__pull_r_0434_0010__on(R_0434_0008__PULL_R_0434_0010__ON)
      & has_r_0434_0012__without__nim(R_0434_0008__PULL_R_0434_0010__ON,R_0434_0013__SUCCESS)
      & has_nim(R_0434_0008__PULL_R_0434_0010__ON,R_0434_0009__HOPEFULLY)
      & has_arg1(R_0434_0008__PULL_R_0434_0010__ON,R_0434_0005__THE_R_0434_0006__DOOR)
      & has_arg0(R_0434_0008__PULL_R_0434_0010__ON,R_0434_0003__HIM)
      & has_conj1(R_0434_0007__AND,R_0434_0004__REACH)
      & r_0434_0004__reach(R_0434_0004__REACH)
      & has_arg1(R_0434_0004__REACH,R_0434_0005__THE_R_0434_0006__DOOR)
      & has_arg0(R_0434_0004__REACH,R_0434_0003__HIM)
      & has_arg0(R_0434_0002__WATCHED,R_0434_0001__THEY) ) ).