38_a_dick_1952
They watched him disappear into the control room.

%3 r_0038_0002__watched watched r_0038_0001__They They r_0038_0002__watched->r_0038_0001__They [arg0] r_0038_0004__disappear disappear r_0038_0002__watched->r_0038_0004__disappear [arg1] r_0038_0003__him him r_0038_0004__disappear->r_0038_0003__him [arg0] r_0038_0006__the_r_0038_0007__control_r_0038_0008__room the control room r_0038_0004__disappear->r_0038_0006__the_r_0038_0007__control_r_0038_0008__room into [nim]
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_nim16).



%3 r_0038_0002__watched watched r_0038_0001__They They r_0038_0002__watched->r_0038_0001__They [arg0] r_0038_0004__disappear disappear r_0038_0002__watched->r_0038_0004__disappear [arg1] r_0038_0003__him him r_0038_0004__disappear->r_0038_0003__him [arg0] r_0038_0006__the_r_0038_0007__control_r_0038_0008__room the control room r_0038_0004__disappear->r_0038_0006__the_r_0038_0007__control_r_0038_0008__room into [nim]
fof(formula,axiom,
    ? [R_38_2_WATCHED,R_38_1_THEY,R_38_4_DISAPPEAR,R_38_3_HIM,R_38_6_THE_CONTROL_ROOM] :
      ( they(R_38_1_THEY)
      & him(R_38_3_HIM)
      & the_control_room(R_38_6_THE_CONTROL_ROOM)
      & watched(R_38_2_WATCHED,R_38_1_THEY,R_38_4_DISAPPEAR)
      & disappear(R_38_4_DISAPPEAR,R_38_3_HIM)
      & into_nim16(R_38_4_DISAPPEAR,R_38_6_THE_CONTROL_ROOM) ) ).



n38_a_dick_1952 n38_a_dick_1952_4 They n38_a_dick_1952_6 watched n38_a_dick_1952_9 him n38_a_dick_1952_12 disappear n38_a_dick_1952_15 into n38_a_dick_1952_18 the n38_a_dick_1952_20 control n38_a_dick_1952_22 room n38_a_dick_1952_24 . n38_a_dick_1952_1 IP-MAT n38_a_dick_1952_2 NP-SBJ n38_a_dick_1952_1->n38_a_dick_1952_2 n38_a_dick_1952_5 VBD;_Tni_ n38_a_dick_1952_1->n38_a_dick_1952_5 n38_a_dick_1952_7 NP-DOB1 n38_a_dick_1952_1->n38_a_dick_1952_7 n38_a_dick_1952_10 IP-INF-OB1 n38_a_dick_1952_1->n38_a_dick_1952_10 n38_a_dick_1952_23 PUNC n38_a_dick_1952_1->n38_a_dick_1952_23 n38_a_dick_1952_3 PRO n38_a_dick_1952_2->n38_a_dick_1952_3 n38_a_dick_1952_3->n38_a_dick_1952_4 n38_a_dick_1952_5->n38_a_dick_1952_6 n38_a_dick_1952_8 PRO n38_a_dick_1952_7->n38_a_dick_1952_8 n38_a_dick_1952_8->n38_a_dick_1952_9 n38_a_dick_1952_11 VB;_I_ n38_a_dick_1952_10->n38_a_dick_1952_11 n38_a_dick_1952_13 PP-NIM n38_a_dick_1952_10->n38_a_dick_1952_13 n38_a_dick_1952_11->n38_a_dick_1952_12 n38_a_dick_1952_14 P-ROLE n38_a_dick_1952_13->n38_a_dick_1952_14 n38_a_dick_1952_16 NP n38_a_dick_1952_13->n38_a_dick_1952_16 n38_a_dick_1952_14->n38_a_dick_1952_15 n38_a_dick_1952_17 D n38_a_dick_1952_16->n38_a_dick_1952_17 n38_a_dick_1952_19 N n38_a_dick_1952_16->n38_a_dick_1952_19 n38_a_dick_1952_21 N n38_a_dick_1952_16->n38_a_dick_1952_21 n38_a_dick_1952_17->n38_a_dick_1952_18 n38_a_dick_1952_19->n38_a_dick_1952_20 n38_a_dick_1952_21->n38_a_dick_1952_22 n38_a_dick_1952_23->n38_a_dick_1952_24
( (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))