69_a_dick_1952
She watched the ruins disappear behind 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))
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__nim).
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__nim(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) ) ).