69_a_dick_1952
She watched the ruins disappear behind them.
arc(r_0069_0002__watched, r_0069_0001__She, arg0).
arc(r_0069_0002__watched, r_0069_0005__disappear, arg1).
arc(r_0069_0005__disappear, r_0069_0003__the_r_0069_0004__ruins, arg0).
arc(r_0069_0005__disappear, r_0069_0007__them, r_0069_0006__behind_nim18).
fof(formula,axiom,
? [R_69_2_WATCHED,R_69_1_SHE,R_69_5_DISAPPEAR,R_69_3_THE_RUINS,R_69_7_THEM] :
( she(R_69_1_SHE)
& the_ruins(R_69_3_THE_RUINS)
& them(R_69_7_THEM)
& watched(R_69_2_WATCHED,R_69_1_SHE,R_69_5_DISAPPEAR)
& disappear(R_69_5_DISAPPEAR,R_69_3_THE_RUINS)
& behind_nim18(R_69_5_DISAPPEAR,R_69_7_THEM) ) ).
( (IP-MAT (NP-SBJ;{NASHA} (PRO She;{she}))
(VBD;_Tni_ watched;{watch})
(NP-DOB1 (D the;{the})
(NS ruins;{ruin}))
(IP-INF-OB1 (VB;_I_ disappear;{disappear})
(PP-NIM (P-ROLE behind;{behind})
(NP;{MEMBERS} (PRO them;{they}))))
(PUNC .))
(ID 69_a_dick_1952))