24_a_fce_0102_2000_12
The story must end with the following words: This story happened a long time ago.
( (IP-MAT (NP-SBJ (D The;{the})
(N story;{story}))
(MD;_cat_Vi_ must;{must})
(IP-INF-CAT (VB;_I_ end;{end})
(PP-NIM (P-ROLE with;{with})
(NP (D the;{the})
(ADJP (ADJ following;{following}))
(NS words;{word})
(PUNC :)
(PRN (IP-MAT (NP-SBJ (D This;{this})
(N story;{story}))
(VBD;_I_ happened;{happen})
(ADVP-NIM (NP (D a;{a})
(ADJP (ADJ long;{long}))
(N time;{time}))
(ADV ago;{ago})))))))
(PUNC .))
(ID 24_a_fce_0102_2000_12))
arc(r_0024_0003__must,r_0024_0004__end,scope).
arc(r_0024_0004__end,r_0024_0001__The_r_0024_0002__story,arg0).
arc(r_0024_0004__end,r_0024_0006__the_r_0024_0008__words,r_0024_0005__with__nim).
arc(r_0024_0006__the_r_0024_0008__words,r_0024_0007__following,attrib).
arc(r_0024_0006__the_r_0024_0008__words,r_0024_0012__happened,prn).
arc(r_0024_0012__happened,r_0024_0010__This_r_0024_0011__story,arg0).
arc(r_0024_0012__happened,r_0024_0016__ago,nim).
arc(r_0024_0013__a_r_0024_0015__time,r_0024_0014__long,attrib).
arc(r_0024_0016__ago,r_0024_0013__a_r_0024_0015__time,nim).
fof(formula,axiom,
? [R_0024_0001__THE_R_0024_0002__STORY,R_0024_0007__FOLLOWING,R_0024_0010__THIS_R_0024_0011__STORY,R_0024_0014__LONG,R_0024_0013__A_R_0024_0015__TIME,R_0024_0016__AGO,R_0024_0012__HAPPENED,R_0024_0006__THE_R_0024_0008__WORDS,R_0024_0003__MUST_R_0024_0004__END] :
( r_0024_0001__The_r_0024_0002__story(R_0024_0001__THE_R_0024_0002__STORY)
& r_0024_0007__following(R_0024_0007__FOLLOWING)
& r_0024_0010__This_r_0024_0011__story(R_0024_0010__THIS_R_0024_0011__STORY)
& r_0024_0014__long(R_0024_0014__LONG)
& r_0024_0003__must_r_0024_0004__end(R_0024_0003__MUST_R_0024_0004__END)
& has_r_0024_0005__with__nim(R_0024_0003__MUST_R_0024_0004__END,R_0024_0006__THE_R_0024_0008__WORDS)
& r_0024_0006__the_r_0024_0008__words(R_0024_0006__THE_R_0024_0008__WORDS)
& has_prn(R_0024_0006__THE_R_0024_0008__WORDS,R_0024_0012__HAPPENED)
& r_0024_0012__happened(R_0024_0012__HAPPENED)
& has_nim(R_0024_0012__HAPPENED,R_0024_0016__AGO)
& r_0024_0016__ago(R_0024_0016__AGO)
& has_nim(R_0024_0016__AGO,R_0024_0013__A_R_0024_0015__TIME)
& r_0024_0013__a_r_0024_0015__time(R_0024_0013__A_R_0024_0015__TIME)
& has_attrib(R_0024_0013__A_R_0024_0015__TIME,R_0024_0014__LONG)
& has_arg0(R_0024_0012__HAPPENED,R_0024_0010__THIS_R_0024_0011__STORY)
& has_attrib(R_0024_0006__THE_R_0024_0008__WORDS,R_0024_0007__FOLLOWING)
& has_arg0(R_0024_0003__MUST_R_0024_0004__END,R_0024_0001__THE_R_0024_0002__STORY) ) ).