Context                Previous, Next                Top


30_a_fce_0102_2000_06
You should include relevant information about the book or short story in your letter.

%3 r_0030_0002__should should r_0030_0003__include include r_0030_0002__should->r_0030_0003__include [scope] r_0030_0001__You You r_0030_0003__include->r_0030_0001__You [arg0] r_0030_0005__information information r_0030_0003__include->r_0030_0005__information [arg1] r_0030_0014__letter letter r_0030_0003__include->r_0030_0014__letter in [nim] r_0030_0004__relevant relevant r_0030_0005__information->r_0030_0004__relevant [attrib] r_0030_0009__or or r_0030_0005__information->r_0030_0009__or about r_0030_0014__letter->r_0030_0001__You [gen] r_0030_0008__book book r_0030_0009__or->r_0030_0008__book [conj1] r_0030_0011__story story r_0030_0009__or->r_0030_0011__story [conj2] r_0030_0010__short short r_0030_0011__story->r_0030_0010__short [attrib] 
arc(r_0030_0002__should, r_0030_0003__include, scope).
arc(r_0030_0003__include, r_0030_0001__You, arg0).
arc(r_0030_0003__include, r_0030_0005__information, arg1).
arc(r_0030_0003__include, r_0030_0014__letter, r_0030_0012__in_nim38).
arc(r_0030_0005__information, r_0030_0004__relevant, attrib11).
arc(r_0030_0005__information, r_0030_0009__or, r_0030_0006__about).
arc(r_0030_0009__or, r_0030_0008__book, conj1).
arc(r_0030_0009__or, r_0030_0011__story, conj2).
arc(r_0030_0011__story, r_0030_0010__short, attrib30).
arc(r_0030_0014__letter, r_0030_0001__You, gen).


%3 r_0030_0002__should_r_0030_0003__include should include r_0030_0001__You You r_0030_0002__should_r_0030_0003__include->r_0030_0001__You [arg0] r_0030_0005__information information r_0030_0002__should_r_0030_0003__include->r_0030_0005__information [arg1] r_0030_0014__letter letter r_0030_0002__should_r_0030_0003__include->r_0030_0014__letter in [nim] r_0030_0004__relevant relevant r_0030_0005__information->r_0030_0004__relevant [attrib] r_0030_0009__or or r_0030_0005__information->r_0030_0009__or about r_0030_0014__letter->r_0030_0001__You [gen] r_0030_0008__book book r_0030_0009__or->r_0030_0008__book [conj1] r_0030_0011__story story r_0030_0009__or->r_0030_0011__story [conj2] r_0030_0010__short short r_0030_0011__story->r_0030_0010__short [attrib] 
fof(formula,axiom,
    ? [R_30_2_SHOULD_INCLUDE,R_30_5_INFORMATION,R_30_4_RELEVANT,R_30_9_OR,R_30_8_BOOK,R_30_11_STORY,R_30_10_SHORT,R_30_14_LETTER,R_30_1_YOU] :
      ( relevant(R_30_4_RELEVANT)
      & book(R_30_8_BOOK)
      & short(R_30_10_SHORT)
      & you(R_30_1_YOU)
      & should_include(R_30_2_SHOULD_INCLUDE,R_30_1_YOU,R_30_5_INFORMATION)
      & information(R_30_5_INFORMATION)
      & attrib11(R_30_5_INFORMATION,R_30_4_RELEVANT)
      & about(R_30_5_INFORMATION,R_30_9_OR)
      & or(R_30_9_OR)
      & conj1(R_30_9_OR,R_30_8_BOOK)
      & conj2(R_30_9_OR,R_30_11_STORY)
      & story(R_30_11_STORY)
      & attrib30(R_30_11_STORY,R_30_10_SHORT)
      & in_nim38(R_30_2_SHOULD_INCLUDE,R_30_14_LETTER)
      & letter(R_30_14_LETTER)
      & gen(R_30_14_LETTER,R_30_1_YOU) ) ).


n30_a_fce_0102_2000_06 n30_a_fce_0102_2000_06_4 You n30_a_fce_0102_2000_06_6 should n30_a_fce_0102_2000_06_9 include n30_a_fce_0102_2000_06_13 relevant n30_a_fce_0102_2000_06_15 information n30_a_fce_0102_2000_06_18 about n30_a_fce_0102_2000_06_21 the n30_a_fce_0102_2000_06_25 book n30_a_fce_0102_2000_06_28 or n30_a_fce_0102_2000_06_32 short n30_a_fce_0102_2000_06_34 story n30_a_fce_0102_2000_06_37 in n30_a_fce_0102_2000_06_41 your n30_a_fce_0102_2000_06_43 letter n30_a_fce_0102_2000_06_45 . n30_a_fce_0102_2000_06_1 IP-MAT n30_a_fce_0102_2000_06_2 NP-SBJ n30_a_fce_0102_2000_06_1->n30_a_fce_0102_2000_06_2 n30_a_fce_0102_2000_06_5 MD;_cat_Vi_ n30_a_fce_0102_2000_06_1->n30_a_fce_0102_2000_06_5 n30_a_fce_0102_2000_06_7 IP-INF-CAT n30_a_fce_0102_2000_06_1->n30_a_fce_0102_2000_06_7 n30_a_fce_0102_2000_06_44 PUNC n30_a_fce_0102_2000_06_1->n30_a_fce_0102_2000_06_44 n30_a_fce_0102_2000_06_3 PRO n30_a_fce_0102_2000_06_2->n30_a_fce_0102_2000_06_3 n30_a_fce_0102_2000_06_3->n30_a_fce_0102_2000_06_4 n30_a_fce_0102_2000_06_5->n30_a_fce_0102_2000_06_6 n30_a_fce_0102_2000_06_8 VB;_Tn.pr_ n30_a_fce_0102_2000_06_7->n30_a_fce_0102_2000_06_8 n30_a_fce_0102_2000_06_10 NP-OB1 n30_a_fce_0102_2000_06_7->n30_a_fce_0102_2000_06_10 n30_a_fce_0102_2000_06_35 PP-NIM n30_a_fce_0102_2000_06_7->n30_a_fce_0102_2000_06_35 n30_a_fce_0102_2000_06_8->n30_a_fce_0102_2000_06_9 n30_a_fce_0102_2000_06_11 ADJP n30_a_fce_0102_2000_06_10->n30_a_fce_0102_2000_06_11 n30_a_fce_0102_2000_06_14 N n30_a_fce_0102_2000_06_10->n30_a_fce_0102_2000_06_14 n30_a_fce_0102_2000_06_16 PP n30_a_fce_0102_2000_06_10->n30_a_fce_0102_2000_06_16 n30_a_fce_0102_2000_06_12 ADJ n30_a_fce_0102_2000_06_11->n30_a_fce_0102_2000_06_12 n30_a_fce_0102_2000_06_12->n30_a_fce_0102_2000_06_13 n30_a_fce_0102_2000_06_14->n30_a_fce_0102_2000_06_15 n30_a_fce_0102_2000_06_17 P-ROLE n30_a_fce_0102_2000_06_16->n30_a_fce_0102_2000_06_17 n30_a_fce_0102_2000_06_19 NP n30_a_fce_0102_2000_06_16->n30_a_fce_0102_2000_06_19 n30_a_fce_0102_2000_06_17->n30_a_fce_0102_2000_06_18 n30_a_fce_0102_2000_06_20 D n30_a_fce_0102_2000_06_19->n30_a_fce_0102_2000_06_20 n30_a_fce_0102_2000_06_22 NLYR n30_a_fce_0102_2000_06_19->n30_a_fce_0102_2000_06_22 n30_a_fce_0102_2000_06_20->n30_a_fce_0102_2000_06_21 n30_a_fce_0102_2000_06_23 NLYR n30_a_fce_0102_2000_06_22->n30_a_fce_0102_2000_06_23 n30_a_fce_0102_2000_06_26 CONJP n30_a_fce_0102_2000_06_22->n30_a_fce_0102_2000_06_26 n30_a_fce_0102_2000_06_24 N n30_a_fce_0102_2000_06_23->n30_a_fce_0102_2000_06_24 n30_a_fce_0102_2000_06_24->n30_a_fce_0102_2000_06_25 n30_a_fce_0102_2000_06_27 CONJ n30_a_fce_0102_2000_06_26->n30_a_fce_0102_2000_06_27 n30_a_fce_0102_2000_06_29 NLYR n30_a_fce_0102_2000_06_26->n30_a_fce_0102_2000_06_29 n30_a_fce_0102_2000_06_27->n30_a_fce_0102_2000_06_28 n30_a_fce_0102_2000_06_30 ADJP n30_a_fce_0102_2000_06_29->n30_a_fce_0102_2000_06_30 n30_a_fce_0102_2000_06_33 N n30_a_fce_0102_2000_06_29->n30_a_fce_0102_2000_06_33 n30_a_fce_0102_2000_06_31 ADJ n30_a_fce_0102_2000_06_30->n30_a_fce_0102_2000_06_31 n30_a_fce_0102_2000_06_31->n30_a_fce_0102_2000_06_32 n30_a_fce_0102_2000_06_33->n30_a_fce_0102_2000_06_34 n30_a_fce_0102_2000_06_36 P-ROLE n30_a_fce_0102_2000_06_35->n30_a_fce_0102_2000_06_36 n30_a_fce_0102_2000_06_38 NP n30_a_fce_0102_2000_06_35->n30_a_fce_0102_2000_06_38 n30_a_fce_0102_2000_06_36->n30_a_fce_0102_2000_06_37 n30_a_fce_0102_2000_06_39 NP-GEN n30_a_fce_0102_2000_06_38->n30_a_fce_0102_2000_06_39 n30_a_fce_0102_2000_06_42 N n30_a_fce_0102_2000_06_38->n30_a_fce_0102_2000_06_42 n30_a_fce_0102_2000_06_40 PRO;_genm_ n30_a_fce_0102_2000_06_39->n30_a_fce_0102_2000_06_40 n30_a_fce_0102_2000_06_40->n30_a_fce_0102_2000_06_41 n30_a_fce_0102_2000_06_42->n30_a_fce_0102_2000_06_43 n30_a_fce_0102_2000_06_44->n30_a_fce_0102_2000_06_45 
( (IP-MAT (NP-SBJ (PRO You;{you}))
          (MD;_cat_Vi_ should;{shall})
          (IP-INF-CAT (VB;_Tn.pr_ include;{include})
                      (NP-OB1 (ADJP (ADJ relevant;{relevant}))
                              (N information;{information})
                              (PP (P-ROLE about;{about})
                                  (NP (D the;{the})
                                      (NLYR (NLYR (N book;{book}))
                                            (CONJP (CONJ or;{or})
                                                   (NLYR (ADJP (ADJ short;{short}))
                                                         (N story;{story})))))))
                      (PP-NIM (P-ROLE in;{in})
                              (NP (NP-GEN (PRO;_genm_ your;{your}))
                                  (N letter;{letter}))))
          (PUNC .))
  (ID 30_a_fce_0102_2000_06))