Context                Previous, Next                Top


24_a_fce_0102_2000_12
The story must end with the following words: This story happened a long time ago.

%3 r_0024_0003__must must r_0024_0004__end end r_0024_0003__must->r_0024_0004__end [scope] r_0024_0001__The_r_0024_0002__story The story r_0024_0004__end->r_0024_0001__The_r_0024_0002__story [arg0] r_0024_0006__the_r_0024_0008__words the words r_0024_0004__end->r_0024_0006__the_r_0024_0008__words with [nim] r_0024_0007__following following r_0024_0006__the_r_0024_0008__words->r_0024_0007__following [attrib] 
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_nim15).
arc(r_0024_0006__the_r_0024_0008__words, r_0024_0007__following, attrib18).


%3 r_0024_0006__the_r_0024_0008__words the words r_0024_0007__following following r_0024_0006__the_r_0024_0008__words->r_0024_0007__following [attrib] r_0024_0003__must_r_0024_0004__end must end r_0024_0003__must_r_0024_0004__end->r_0024_0006__the_r_0024_0008__words with [nim] r_0024_0001__The_r_0024_0002__story The story r_0024_0003__must_r_0024_0004__end->r_0024_0001__The_r_0024_0002__story [arg0] 
fof(formula,axiom,
    ? [R_0024_0001__THE_R_0024_0002__STORY,R_0024_0007__FOLLOWING,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_0003__must_r_0024_0004__end(R_0024_0003__MUST_R_0024_0004__END)
      & has_r_0024_0005__with_nim15(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_attrib18(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) ) ).


n24_a_fce_0102_2000_12 n24_a_fce_0102_2000_12__1_1_1_1 The n24_a_fce_0102_2000_12__1_1_2_1 story n24_a_fce_0102_2000_12__1_2_1 must n24_a_fce_0102_2000_12__1_3_1_1 end n24_a_fce_0102_2000_12__1_3_2_1_1 with n24_a_fce_0102_2000_12__1_3_2_2_1_1 the n24_a_fce_0102_2000_12__1_3_2_2_2_1_1 following n24_a_fce_0102_2000_12__1_3_2_2_3_1 words n24_a_fce_0102_2000_12__1_3_2_2_4_1 : n24_a_fce_0102_2000_12__1_3_2_2_5_1_1_1_1 This n24_a_fce_0102_2000_12__1_3_2_2_5_1_1_2_1 story n24_a_fce_0102_2000_12__1_3_2_2_5_1_2_1 happened n24_a_fce_0102_2000_12__1_3_2_2_5_1_3_1_1_1 a n24_a_fce_0102_2000_12__1_3_2_2_5_1_3_1_2_1_1 long n24_a_fce_0102_2000_12__1_3_2_2_5_1_3_1_3_1 time n24_a_fce_0102_2000_12__1_3_2_2_5_1_3_2_1 ago n24_a_fce_0102_2000_12__1_4_1 . n24_a_fce_0102_2000_12__1 IP-MAT n24_a_fce_0102_2000_12__1_1 NP-SBJ n24_a_fce_0102_2000_12__1->n24_a_fce_0102_2000_12__1_1 n24_a_fce_0102_2000_12__1_2 MD;_cat_Vi_ n24_a_fce_0102_2000_12__1->n24_a_fce_0102_2000_12__1_2 n24_a_fce_0102_2000_12__1_3 IP-INF-CAT n24_a_fce_0102_2000_12__1->n24_a_fce_0102_2000_12__1_3 n24_a_fce_0102_2000_12__1_4 PUNC n24_a_fce_0102_2000_12__1->n24_a_fce_0102_2000_12__1_4 n24_a_fce_0102_2000_12__1_1_1 D n24_a_fce_0102_2000_12__1_1->n24_a_fce_0102_2000_12__1_1_1 n24_a_fce_0102_2000_12__1_1_2 N n24_a_fce_0102_2000_12__1_1->n24_a_fce_0102_2000_12__1_1_2 n24_a_fce_0102_2000_12__1_1_1->n24_a_fce_0102_2000_12__1_1_1_1 n24_a_fce_0102_2000_12__1_1_2->n24_a_fce_0102_2000_12__1_1_2_1 n24_a_fce_0102_2000_12__1_2->n24_a_fce_0102_2000_12__1_2_1 n24_a_fce_0102_2000_12__1_3_1 VB;_I_ n24_a_fce_0102_2000_12__1_3->n24_a_fce_0102_2000_12__1_3_1 n24_a_fce_0102_2000_12__1_3_2 PP-NIM n24_a_fce_0102_2000_12__1_3->n24_a_fce_0102_2000_12__1_3_2 n24_a_fce_0102_2000_12__1_3_1->n24_a_fce_0102_2000_12__1_3_1_1 n24_a_fce_0102_2000_12__1_3_2_1 P-ROLE n24_a_fce_0102_2000_12__1_3_2->n24_a_fce_0102_2000_12__1_3_2_1 n24_a_fce_0102_2000_12__1_3_2_2 NP n24_a_fce_0102_2000_12__1_3_2->n24_a_fce_0102_2000_12__1_3_2_2 n24_a_fce_0102_2000_12__1_3_2_1->n24_a_fce_0102_2000_12__1_3_2_1_1 n24_a_fce_0102_2000_12__1_3_2_2_1 D n24_a_fce_0102_2000_12__1_3_2_2->n24_a_fce_0102_2000_12__1_3_2_2_1 n24_a_fce_0102_2000_12__1_3_2_2_2 ADJP n24_a_fce_0102_2000_12__1_3_2_2->n24_a_fce_0102_2000_12__1_3_2_2_2 n24_a_fce_0102_2000_12__1_3_2_2_3 NS n24_a_fce_0102_2000_12__1_3_2_2->n24_a_fce_0102_2000_12__1_3_2_2_3 n24_a_fce_0102_2000_12__1_3_2_2_4 PUNC n24_a_fce_0102_2000_12__1_3_2_2->n24_a_fce_0102_2000_12__1_3_2_2_4 n24_a_fce_0102_2000_12__1_3_2_2_5 PRN n24_a_fce_0102_2000_12__1_3_2_2->n24_a_fce_0102_2000_12__1_3_2_2_5 n24_a_fce_0102_2000_12__1_3_2_2_1->n24_a_fce_0102_2000_12__1_3_2_2_1_1 n24_a_fce_0102_2000_12__1_3_2_2_2_1 ADJ n24_a_fce_0102_2000_12__1_3_2_2_2->n24_a_fce_0102_2000_12__1_3_2_2_2_1 n24_a_fce_0102_2000_12__1_3_2_2_2_1->n24_a_fce_0102_2000_12__1_3_2_2_2_1_1 n24_a_fce_0102_2000_12__1_3_2_2_3->n24_a_fce_0102_2000_12__1_3_2_2_3_1 n24_a_fce_0102_2000_12__1_3_2_2_4->n24_a_fce_0102_2000_12__1_3_2_2_4_1 n24_a_fce_0102_2000_12__1_3_2_2_5_1 IP-MAT n24_a_fce_0102_2000_12__1_3_2_2_5->n24_a_fce_0102_2000_12__1_3_2_2_5_1 n24_a_fce_0102_2000_12__1_3_2_2_5_1_1 NP-SBJ n24_a_fce_0102_2000_12__1_3_2_2_5_1->n24_a_fce_0102_2000_12__1_3_2_2_5_1_1 n24_a_fce_0102_2000_12__1_3_2_2_5_1_2 VBD;_I_ n24_a_fce_0102_2000_12__1_3_2_2_5_1->n24_a_fce_0102_2000_12__1_3_2_2_5_1_2 n24_a_fce_0102_2000_12__1_3_2_2_5_1_3 ADVP-NIM n24_a_fce_0102_2000_12__1_3_2_2_5_1->n24_a_fce_0102_2000_12__1_3_2_2_5_1_3 n24_a_fce_0102_2000_12__1_3_2_2_5_1_1_1 D n24_a_fce_0102_2000_12__1_3_2_2_5_1_1->n24_a_fce_0102_2000_12__1_3_2_2_5_1_1_1 n24_a_fce_0102_2000_12__1_3_2_2_5_1_1_2 N n24_a_fce_0102_2000_12__1_3_2_2_5_1_1->n24_a_fce_0102_2000_12__1_3_2_2_5_1_1_2 n24_a_fce_0102_2000_12__1_3_2_2_5_1_1_1->n24_a_fce_0102_2000_12__1_3_2_2_5_1_1_1_1 n24_a_fce_0102_2000_12__1_3_2_2_5_1_1_2->n24_a_fce_0102_2000_12__1_3_2_2_5_1_1_2_1 n24_a_fce_0102_2000_12__1_3_2_2_5_1_2->n24_a_fce_0102_2000_12__1_3_2_2_5_1_2_1 n24_a_fce_0102_2000_12__1_3_2_2_5_1_3_1 NP n24_a_fce_0102_2000_12__1_3_2_2_5_1_3->n24_a_fce_0102_2000_12__1_3_2_2_5_1_3_1 n24_a_fce_0102_2000_12__1_3_2_2_5_1_3_2 ADV n24_a_fce_0102_2000_12__1_3_2_2_5_1_3->n24_a_fce_0102_2000_12__1_3_2_2_5_1_3_2 n24_a_fce_0102_2000_12__1_3_2_2_5_1_3_1_1 D n24_a_fce_0102_2000_12__1_3_2_2_5_1_3_1->n24_a_fce_0102_2000_12__1_3_2_2_5_1_3_1_1 n24_a_fce_0102_2000_12__1_3_2_2_5_1_3_1_2 ADJP n24_a_fce_0102_2000_12__1_3_2_2_5_1_3_1->n24_a_fce_0102_2000_12__1_3_2_2_5_1_3_1_2 n24_a_fce_0102_2000_12__1_3_2_2_5_1_3_1_3 N n24_a_fce_0102_2000_12__1_3_2_2_5_1_3_1->n24_a_fce_0102_2000_12__1_3_2_2_5_1_3_1_3 n24_a_fce_0102_2000_12__1_3_2_2_5_1_3_1_1->n24_a_fce_0102_2000_12__1_3_2_2_5_1_3_1_1_1 n24_a_fce_0102_2000_12__1_3_2_2_5_1_3_1_2_1 ADJ n24_a_fce_0102_2000_12__1_3_2_2_5_1_3_1_2->n24_a_fce_0102_2000_12__1_3_2_2_5_1_3_1_2_1 n24_a_fce_0102_2000_12__1_3_2_2_5_1_3_1_2_1->n24_a_fce_0102_2000_12__1_3_2_2_5_1_3_1_2_1_1 n24_a_fce_0102_2000_12__1_3_2_2_5_1_3_1_3->n24_a_fce_0102_2000_12__1_3_2_2_5_1_3_1_3_1 n24_a_fce_0102_2000_12__1_3_2_2_5_1_3_2->n24_a_fce_0102_2000_12__1_3_2_2_5_1_3_2_1 n24_a_fce_0102_2000_12__1_4->n24_a_fce_0102_2000_12__1_4_1 
( (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))