481_a_dick_1952
For a long time they stared at the picture.
arc(r_0481_0002__a_r_0481_0004__time, r_0481_0003__long, attrib8).
arc(r_0481_0006__stared, r_0481_0002__a_r_0481_0004__time, r_0481_0001__For_nim5).
arc(r_0481_0006__stared, r_0481_0005__they, arg0).
arc(r_0481_0006__stared, r_0481_0008__the_r_0481_0009__picture, r_0481_0007__at_clr21).
fof(formula,axiom,
? [R_481_6_STARED,R_481_5_THEY,R_481_2_A_TIME,R_481_3_LONG,R_481_8_THE_PICTURE] :
( they(R_481_5_THEY)
& long(R_481_3_LONG)
& the_picture(R_481_8_THE_PICTURE)
& stared(R_481_6_STARED,R_481_5_THEY)
& for_nim5(R_481_6_STARED,R_481_2_A_TIME)
& a_time(R_481_2_A_TIME)
& attrib8(R_481_2_A_TIME,R_481_3_LONG)
& at_clr21(R_481_6_STARED,R_481_8_THE_PICTURE) ) ).
( (IP-MAT (PP-NIM (P-ROLE For;{for})
(NP (D a;{a})
(ADJP (ADJ long;{long}))
(N time;{time})))
(NP-SBJ;{DORLE_NASHA_TANCE} (PRO they;{they}))
(VBD;_Ipr_ stared;{stare[at]})
(PP-CLR (P-ROLE at;{at})
(NP (D the;{the})
(N picture;{picture})))
(PUNC .))
(ID 481_a_dick_1952))