38_a_dick_1952
They watched him disappear into the control room.
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).
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_nim16(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) ) ).
( (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))