( (IP-MAT (NP-SBJ;{OTHERS} (PRO They;{they}))
          (VBD;_Tni_ watched;{watch})
          (NP-DOB1;{CAPTAIN} (PRO him;{he}))
          (IP-INF-OB1 (VB;_I_ disappear;{disappear})
                      (PP-NIM (P-ROLE into;{into})
                              (NP (D the;{the})
                                  (N control;{control})
                                  (N room;{room}))))
          (PUNC .))
  (ID 38_a_dick_1952))

arc(r_0038_0002__watched,r_0038_0001__They,arg0).
arc(r_0038_0002__watched,r_0038_0004__disappear,arg1).
arc(r_0038_0004__disappear,r_0038_0003__him,arg0).
arc(r_0038_0004__disappear,r_0038_0006__the_r_0038_0007__control_r_0038_0008__room,r_0038_0005__into__nim).

fof(formula,axiom,
    ? [R_0038_0001__THEY,R_0038_0003__HIM,R_0038_0006__THE_R_0038_0007__CONTROL_R_0038_0008__ROOM,R_0038_0004__DISAPPEAR,R_0038_0002__WATCHED] :
      ( r_0038_0001__They(R_0038_0001__THEY)
      & r_0038_0003__him(R_0038_0003__HIM)
      & r_0038_0006__the_r_0038_0007__control_r_0038_0008__room(R_0038_0006__THE_R_0038_0007__CONTROL_R_0038_0008__ROOM)
      & r_0038_0002__watched(R_0038_0002__WATCHED)
      & has_arg1(R_0038_0002__WATCHED,R_0038_0004__DISAPPEAR)
      & r_0038_0004__disappear(R_0038_0004__DISAPPEAR)
      & has_r_0038_0005__into__nim(R_0038_0004__DISAPPEAR,R_0038_0006__THE_R_0038_0007__CONTROL_R_0038_0008__ROOM)
      & has_arg0(R_0038_0004__DISAPPEAR,R_0038_0003__HIM)
      & has_arg0(R_0038_0002__WATCHED,R_0038_0001__THEY) ) ).