Context                Previous, Next                Top


40_a_fce_0101_2001_06
In class you have been talking about characters in the book or short story you have read.

%3 r_0040_0004__have have r_0040_0002__class class r_0040_0004__have->r_0040_0002__class In [nim] r_0040_0005__been been r_0040_0004__have->r_0040_0005__been [scope] r_0040_0006__talking talking r_0040_0005__been->r_0040_0006__talking [scope] r_0040_0003__you you r_0040_0006__talking->r_0040_0003__you [arg0] r_0040_0008__characters characters r_0040_0006__talking->r_0040_0008__characters about [clr] r_0040_0012__or or r_0040_0008__characters->r_0040_0012__or in r_0040_0011__book book r_0040_0012__or->r_0040_0011__book [conj1] r_0040_0014__story story r_0040_0012__or->r_0040_0014__story [conj2] r_0040_0013__short short r_0040_0014__story->r_0040_0013__short [attrib] r_0040_0016__have have r_0040_0017__read read r_0040_0016__have->r_0040_0017__read [scope] r_0040_0017__read->r_0040_0003__you [arg0] r_0040_0017__read->r_0040_0012__or [arg1] 
arc(r_0040_0004__have, r_0040_0002__class, r_0040_0001__In_nim5).
arc(r_0040_0004__have, r_0040_0005__been, scope).
arc(r_0040_0005__been, r_0040_0006__talking, scope).
arc(r_0040_0006__talking, r_0040_0003__you, arg0).
arc(r_0040_0006__talking, r_0040_0008__characters, r_0040_0007__about_clr22).
arc(r_0040_0008__characters, r_0040_0012__or, r_0040_0009__in).
arc(r_0040_0012__or, r_0040_0011__book, conj1).
arc(r_0040_0012__or, r_0040_0014__story, conj2).
arc(r_0040_0014__story, r_0040_0013__short, attrib39).
arc(r_0040_0016__have, r_0040_0017__read, scope).
arc(r_0040_0017__read, r_0040_0003__you, arg0).
arc(r_0040_0017__read, r_0040_0012__or, arg1).


%3 r_0040_0016__have_r_0040_0017__read have read r_0040_0012__or or r_0040_0016__have_r_0040_0017__read->r_0040_0012__or [arg1] r_0040_0003__you you r_0040_0016__have_r_0040_0017__read->r_0040_0003__you [arg0] r_0040_0014__story story r_0040_0012__or->r_0040_0014__story [conj2] r_0040_0011__book book r_0040_0012__or->r_0040_0011__book [conj1] r_0040_0013__short short r_0040_0014__story->r_0040_0013__short [attrib] r_0040_0008__characters characters r_0040_0008__characters->r_0040_0012__or in r_0040_0004__have_r_0040_0005__been_r_0040_0006__talking have been talking r_0040_0004__have_r_0040_0005__been_r_0040_0006__talking->r_0040_0003__you [arg0] r_0040_0004__have_r_0040_0005__been_r_0040_0006__talking->r_0040_0008__characters about [clr] r_0040_0002__class class r_0040_0004__have_r_0040_0005__been_r_0040_0006__talking->r_0040_0002__class In [nim] 
fof(formula,axiom,
    ? [R_0040_0002__CLASS,R_0040_0003__YOU,R_0040_0011__BOOK,R_0040_0013__SHORT,R_0040_0014__STORY,R_0040_0012__OR,R_0040_0008__CHARACTERS,R_0040_0004__HAVE_R_0040_0005__BEEN_R_0040_0006__TALKING,R_0040_0016__HAVE_R_0040_0017__READ] :
      ( r_0040_0002__class(R_0040_0002__CLASS)
      & r_0040_0003__you(R_0040_0003__YOU)
      & r_0040_0011__book(R_0040_0011__BOOK)
      & r_0040_0013__short(R_0040_0013__SHORT)
      & r_0040_0016__have_r_0040_0017__read(R_0040_0016__HAVE_R_0040_0017__READ)
      & has_arg1(R_0040_0016__HAVE_R_0040_0017__READ,R_0040_0012__OR)
      & r_0040_0012__or(R_0040_0012__OR)
      & has_conj2(R_0040_0012__OR,R_0040_0014__STORY)
      & r_0040_0014__story(R_0040_0014__STORY)
      & has_attrib39(R_0040_0014__STORY,R_0040_0013__SHORT)
      & has_conj1(R_0040_0012__OR,R_0040_0011__BOOK)
      & has_arg0(R_0040_0016__HAVE_R_0040_0017__READ,R_0040_0003__YOU)
      & r_0040_0004__have_r_0040_0005__been_r_0040_0006__talking(R_0040_0004__HAVE_R_0040_0005__BEEN_R_0040_0006__TALKING)
      & has_r_0040_0007__about_clr22(R_0040_0004__HAVE_R_0040_0005__BEEN_R_0040_0006__TALKING,R_0040_0008__CHARACTERS)
      & r_0040_0008__characters(R_0040_0008__CHARACTERS)
      & has_r_0040_0009__in(R_0040_0008__CHARACTERS,R_0040_0012__OR)
      & has_arg0(R_0040_0004__HAVE_R_0040_0005__BEEN_R_0040_0006__TALKING,R_0040_0003__YOU)
      & has_r_0040_0001__In_nim5(R_0040_0004__HAVE_R_0040_0005__BEEN_R_0040_0006__TALKING,R_0040_0002__CLASS) ) ).


n40_a_fce_0101_2001_06 n40_a_fce_0101_2001_06__1_1_1_1 In n40_a_fce_0101_2001_06__1_1_2_1_1 class n40_a_fce_0101_2001_06__1_2_1_1 you n40_a_fce_0101_2001_06__1_3_1 have n40_a_fce_0101_2001_06__1_4_1_1 been n40_a_fce_0101_2001_06__1_4_2_1_1 talking n40_a_fce_0101_2001_06__1_4_2_2_1_1 about n40_a_fce_0101_2001_06__1_4_2_2_2_1_1 characters n40_a_fce_0101_2001_06__1_4_2_2_2_2_1_1 in n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_1_1 the n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_2_1_1_1 book n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_2_2_1_1 or n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_2_2_2_1_1_1 short n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_2_2_2_2_1 story n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_3_1_1_1 you n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_3_2_1 have n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_3_3_1_1 *T* n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_3_3_2_1 read n40_a_fce_0101_2001_06__1_5_1 . n40_a_fce_0101_2001_06__1 IP-MAT n40_a_fce_0101_2001_06__1_1 PP-NIM n40_a_fce_0101_2001_06__1->n40_a_fce_0101_2001_06__1_1 n40_a_fce_0101_2001_06__1_2 NP-SBJ n40_a_fce_0101_2001_06__1->n40_a_fce_0101_2001_06__1_2 n40_a_fce_0101_2001_06__1_3 HVP;_cat_Ve_ n40_a_fce_0101_2001_06__1->n40_a_fce_0101_2001_06__1_3 n40_a_fce_0101_2001_06__1_4 IP-PPL-CAT n40_a_fce_0101_2001_06__1->n40_a_fce_0101_2001_06__1_4 n40_a_fce_0101_2001_06__1_5 PUNC n40_a_fce_0101_2001_06__1->n40_a_fce_0101_2001_06__1_5 n40_a_fce_0101_2001_06__1_1_1 P-ROLE n40_a_fce_0101_2001_06__1_1->n40_a_fce_0101_2001_06__1_1_1 n40_a_fce_0101_2001_06__1_1_2 NP n40_a_fce_0101_2001_06__1_1->n40_a_fce_0101_2001_06__1_1_2 n40_a_fce_0101_2001_06__1_1_1->n40_a_fce_0101_2001_06__1_1_1_1 n40_a_fce_0101_2001_06__1_1_2_1 N n40_a_fce_0101_2001_06__1_1_2->n40_a_fce_0101_2001_06__1_1_2_1 n40_a_fce_0101_2001_06__1_1_2_1->n40_a_fce_0101_2001_06__1_1_2_1_1 n40_a_fce_0101_2001_06__1_2_1 PRO n40_a_fce_0101_2001_06__1_2->n40_a_fce_0101_2001_06__1_2_1 n40_a_fce_0101_2001_06__1_2_1->n40_a_fce_0101_2001_06__1_2_1_1 n40_a_fce_0101_2001_06__1_3->n40_a_fce_0101_2001_06__1_3_1 n40_a_fce_0101_2001_06__1_4_1 BEN;_cat_Vg_ n40_a_fce_0101_2001_06__1_4->n40_a_fce_0101_2001_06__1_4_1 n40_a_fce_0101_2001_06__1_4_2 IP-PPL-CAT n40_a_fce_0101_2001_06__1_4->n40_a_fce_0101_2001_06__1_4_2 n40_a_fce_0101_2001_06__1_4_1->n40_a_fce_0101_2001_06__1_4_1_1 n40_a_fce_0101_2001_06__1_4_2_1 VAG;_Ipr_ n40_a_fce_0101_2001_06__1_4_2->n40_a_fce_0101_2001_06__1_4_2_1 n40_a_fce_0101_2001_06__1_4_2_2 PP-CLR n40_a_fce_0101_2001_06__1_4_2->n40_a_fce_0101_2001_06__1_4_2_2 n40_a_fce_0101_2001_06__1_4_2_1->n40_a_fce_0101_2001_06__1_4_2_1_1 n40_a_fce_0101_2001_06__1_4_2_2_1 P-ROLE n40_a_fce_0101_2001_06__1_4_2_2->n40_a_fce_0101_2001_06__1_4_2_2_1 n40_a_fce_0101_2001_06__1_4_2_2_2 NP n40_a_fce_0101_2001_06__1_4_2_2->n40_a_fce_0101_2001_06__1_4_2_2_2 n40_a_fce_0101_2001_06__1_4_2_2_1->n40_a_fce_0101_2001_06__1_4_2_2_1_1 n40_a_fce_0101_2001_06__1_4_2_2_2_1 NS n40_a_fce_0101_2001_06__1_4_2_2_2->n40_a_fce_0101_2001_06__1_4_2_2_2_1 n40_a_fce_0101_2001_06__1_4_2_2_2_2 PP n40_a_fce_0101_2001_06__1_4_2_2_2->n40_a_fce_0101_2001_06__1_4_2_2_2_2 n40_a_fce_0101_2001_06__1_4_2_2_2_1->n40_a_fce_0101_2001_06__1_4_2_2_2_1_1 n40_a_fce_0101_2001_06__1_4_2_2_2_2_1 P-ROLE n40_a_fce_0101_2001_06__1_4_2_2_2_2->n40_a_fce_0101_2001_06__1_4_2_2_2_2_1 n40_a_fce_0101_2001_06__1_4_2_2_2_2_2 NP n40_a_fce_0101_2001_06__1_4_2_2_2_2->n40_a_fce_0101_2001_06__1_4_2_2_2_2_2 n40_a_fce_0101_2001_06__1_4_2_2_2_2_1->n40_a_fce_0101_2001_06__1_4_2_2_2_2_1_1 n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_1 D n40_a_fce_0101_2001_06__1_4_2_2_2_2_2->n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_1 n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_2 NLYR n40_a_fce_0101_2001_06__1_4_2_2_2_2_2->n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_2 n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_3 IP-REL n40_a_fce_0101_2001_06__1_4_2_2_2_2_2->n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_3 n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_1->n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_1_1 n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_2_1 NLYR n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_2->n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_2_1 n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_2_2 CONJP n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_2->n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_2_2 n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_2_1_1 N n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_2_1->n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_2_1_1 n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_2_1_1->n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_2_1_1_1 n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_2_2_1 CONJ n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_2_2->n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_2_2_1 n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_2_2_2 NLYR n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_2_2->n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_2_2_2 n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_2_2_1->n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_2_2_1_1 n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_2_2_2_1 ADJP n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_2_2_2->n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_2_2_2_1 n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_2_2_2_2 N n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_2_2_2->n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_2_2_2_2 n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_2_2_2_1_1 ADJ n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_2_2_2_1->n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_2_2_2_1_1 n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_2_2_2_1_1->n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_2_2_2_1_1_1 n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_2_2_2_2->n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_2_2_2_2_1 n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_3_1 NP-SBJ n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_3->n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_3_1 n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_3_2 HVP;_cat_Ve_ n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_3->n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_3_2 n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_3_3 IP-PPL-CAT n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_3->n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_3_3 n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_3_1_1 PRO n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_3_1->n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_3_1_1 n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_3_1_1->n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_3_1_1_1 n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_3_2->n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_3_2_1 n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_3_3_1 NP-OB1 n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_3_3->n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_3_3_1 n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_3_3_2 VVN;_Tn_ n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_3_3->n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_3_3_2 n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_3_3_1->n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_3_3_1_1 n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_3_3_2->n40_a_fce_0101_2001_06__1_4_2_2_2_2_2_3_3_2_1 n40_a_fce_0101_2001_06__1_5->n40_a_fce_0101_2001_06__1_5_1 
( (IP-MAT (PP-NIM (P-ROLE In;{in})
                  (NP (N class;{class})))
          (NP-SBJ (PRO you;{you}))
          (HVP;_cat_Ve_ have;{have})
          (IP-PPL-CAT (BEN;_cat_Vg_ been;{be})
                      (IP-PPL-CAT (VAG;_Ipr_ talking;{talk[about]})
                                  (PP-CLR (P-ROLE about;{about})
                                          (NP (NS characters;{character})
                                              (PP (P-ROLE in;{in})
                                                  (NP (D the;{the})
                                                      (NLYR (NLYR (N book;{book}))
                                                            (CONJP (CONJ or;{or})
                                                                   (NLYR (ADJP (ADJ short;{short}))
                                                                         (N story;{story}))))
                                                      (IP-REL (NP-SBJ (PRO you;{you}))
                                                              (HVP;_cat_Ve_ have;{have})
                                                              (IP-PPL-CAT (NP-OB1 *T*)
                                                                          (VVN;_Tn_ read;{read})))))))))
          (PUNC .))
  (ID 40_a_fce_0101_2001_06))