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_0003__must_r_0024_0004__end must end 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] r_0024_0006__the_r_0024_0008__words the words r_0024_0003__must_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] 
fof(formula,axiom,
    ? [R_24_3_MUST_END,R_24_1_THE_STORY,R_24_6_THE_WORDS,R_24_7_FOLLOWING] :
      ( the_story(R_24_1_THE_STORY)
      & following(R_24_7_FOLLOWING)
      & must_end(R_24_3_MUST_END,R_24_1_THE_STORY)
      & with_nim15(R_24_3_MUST_END,R_24_6_THE_WORDS)
      & the_words(R_24_6_THE_WORDS)
      & attrib18(R_24_6_THE_WORDS,R_24_7_FOLLOWING) ) ).


n24_a_fce_0102_2000_12 n24_a_fce_0102_2000_12_4 The n24_a_fce_0102_2000_12_6 story n24_a_fce_0102_2000_12_8 must n24_a_fce_0102_2000_12_11 end n24_a_fce_0102_2000_12_14 with n24_a_fce_0102_2000_12_17 the n24_a_fce_0102_2000_12_20 following n24_a_fce_0102_2000_12_22 words n24_a_fce_0102_2000_12_24 : n24_a_fce_0102_2000_12_29 This n24_a_fce_0102_2000_12_31 story n24_a_fce_0102_2000_12_33 happened n24_a_fce_0102_2000_12_37 a n24_a_fce_0102_2000_12_40 long n24_a_fce_0102_2000_12_42 time n24_a_fce_0102_2000_12_44 ago n24_a_fce_0102_2000_12_46 . n24_a_fce_0102_2000_12_1 IP-MAT n24_a_fce_0102_2000_12_2 NP-SBJ n24_a_fce_0102_2000_12_1->n24_a_fce_0102_2000_12_2 n24_a_fce_0102_2000_12_7 MD;_cat_Vi_ n24_a_fce_0102_2000_12_1->n24_a_fce_0102_2000_12_7 n24_a_fce_0102_2000_12_9 IP-INF-CAT n24_a_fce_0102_2000_12_1->n24_a_fce_0102_2000_12_9 n24_a_fce_0102_2000_12_45 PUNC n24_a_fce_0102_2000_12_1->n24_a_fce_0102_2000_12_45 n24_a_fce_0102_2000_12_3 D n24_a_fce_0102_2000_12_2->n24_a_fce_0102_2000_12_3 n24_a_fce_0102_2000_12_5 N n24_a_fce_0102_2000_12_2->n24_a_fce_0102_2000_12_5 n24_a_fce_0102_2000_12_3->n24_a_fce_0102_2000_12_4 n24_a_fce_0102_2000_12_5->n24_a_fce_0102_2000_12_6 n24_a_fce_0102_2000_12_7->n24_a_fce_0102_2000_12_8 n24_a_fce_0102_2000_12_10 VB;_I_ n24_a_fce_0102_2000_12_9->n24_a_fce_0102_2000_12_10 n24_a_fce_0102_2000_12_12 PP-NIM n24_a_fce_0102_2000_12_9->n24_a_fce_0102_2000_12_12 n24_a_fce_0102_2000_12_10->n24_a_fce_0102_2000_12_11 n24_a_fce_0102_2000_12_13 P-ROLE n24_a_fce_0102_2000_12_12->n24_a_fce_0102_2000_12_13 n24_a_fce_0102_2000_12_15 NP n24_a_fce_0102_2000_12_12->n24_a_fce_0102_2000_12_15 n24_a_fce_0102_2000_12_13->n24_a_fce_0102_2000_12_14 n24_a_fce_0102_2000_12_16 D n24_a_fce_0102_2000_12_15->n24_a_fce_0102_2000_12_16 n24_a_fce_0102_2000_12_18 ADJP n24_a_fce_0102_2000_12_15->n24_a_fce_0102_2000_12_18 n24_a_fce_0102_2000_12_21 NS n24_a_fce_0102_2000_12_15->n24_a_fce_0102_2000_12_21 n24_a_fce_0102_2000_12_23 PUNC n24_a_fce_0102_2000_12_15->n24_a_fce_0102_2000_12_23 n24_a_fce_0102_2000_12_25 PRN n24_a_fce_0102_2000_12_15->n24_a_fce_0102_2000_12_25 n24_a_fce_0102_2000_12_16->n24_a_fce_0102_2000_12_17 n24_a_fce_0102_2000_12_19 ADJ n24_a_fce_0102_2000_12_18->n24_a_fce_0102_2000_12_19 n24_a_fce_0102_2000_12_19->n24_a_fce_0102_2000_12_20 n24_a_fce_0102_2000_12_21->n24_a_fce_0102_2000_12_22 n24_a_fce_0102_2000_12_23->n24_a_fce_0102_2000_12_24 n24_a_fce_0102_2000_12_26 IP-MAT n24_a_fce_0102_2000_12_25->n24_a_fce_0102_2000_12_26 n24_a_fce_0102_2000_12_27 NP-SBJ n24_a_fce_0102_2000_12_26->n24_a_fce_0102_2000_12_27 n24_a_fce_0102_2000_12_32 VBD;_I_ n24_a_fce_0102_2000_12_26->n24_a_fce_0102_2000_12_32 n24_a_fce_0102_2000_12_34 ADVP-NIM n24_a_fce_0102_2000_12_26->n24_a_fce_0102_2000_12_34 n24_a_fce_0102_2000_12_28 D n24_a_fce_0102_2000_12_27->n24_a_fce_0102_2000_12_28 n24_a_fce_0102_2000_12_30 N n24_a_fce_0102_2000_12_27->n24_a_fce_0102_2000_12_30 n24_a_fce_0102_2000_12_28->n24_a_fce_0102_2000_12_29 n24_a_fce_0102_2000_12_30->n24_a_fce_0102_2000_12_31 n24_a_fce_0102_2000_12_32->n24_a_fce_0102_2000_12_33 n24_a_fce_0102_2000_12_35 NP n24_a_fce_0102_2000_12_34->n24_a_fce_0102_2000_12_35 n24_a_fce_0102_2000_12_43 ADV n24_a_fce_0102_2000_12_34->n24_a_fce_0102_2000_12_43 n24_a_fce_0102_2000_12_36 D n24_a_fce_0102_2000_12_35->n24_a_fce_0102_2000_12_36 n24_a_fce_0102_2000_12_38 ADJP n24_a_fce_0102_2000_12_35->n24_a_fce_0102_2000_12_38 n24_a_fce_0102_2000_12_41 N n24_a_fce_0102_2000_12_35->n24_a_fce_0102_2000_12_41 n24_a_fce_0102_2000_12_36->n24_a_fce_0102_2000_12_37 n24_a_fce_0102_2000_12_39 ADJ n24_a_fce_0102_2000_12_38->n24_a_fce_0102_2000_12_39 n24_a_fce_0102_2000_12_39->n24_a_fce_0102_2000_12_40 n24_a_fce_0102_2000_12_41->n24_a_fce_0102_2000_12_42 n24_a_fce_0102_2000_12_43->n24_a_fce_0102_2000_12_44 n24_a_fce_0102_2000_12_45->n24_a_fce_0102_2000_12_46 
( (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))