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_0069_0001__SHE,R_0069_0003__THE_R_0069_0004__RUINS,R_0069_0007__THEM,R_0069_0005__DISAPPEAR,R_0069_0002__WATCHED] :
( r_0069_0001__She(R_0069_0001__SHE)
& r_0069_0003__the_r_0069_0004__ruins(R_0069_0003__THE_R_0069_0004__RUINS)
& r_0069_0007__them(R_0069_0007__THEM)
& r_0069_0002__watched(R_0069_0002__WATCHED)
& has_arg1(R_0069_0002__WATCHED,R_0069_0005__DISAPPEAR)
& r_0069_0005__disappear(R_0069_0005__DISAPPEAR)
& has_r_0069_0006__behind_nim18(R_0069_0005__DISAPPEAR,R_0069_0007__THEM)
& has_arg0(R_0069_0005__DISAPPEAR,R_0069_0003__THE_R_0069_0004__RUINS)
& has_arg0(R_0069_0002__WATCHED,R_0069_0001__SHE) ) ).
( (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))