40_a_fce_0101_2001_06
In class you have been talking about characters in the book or short story you have read.
( (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))
arc(r_0040_0004__have,r_0040_0002__class,r_0040_0001__In__nim).
arc(r_0040_0004__have,r_0040_0005__been,scope).
arc(r_0040_0005__been,r_0040_0006__talking_r_0040_0007__about,scope).
arc(r_0040_0006__talking_r_0040_0007__about,r_0040_0003__you,arg0).
arc(r_0040_0006__talking_r_0040_0007__about,r_0040_0008__characters,arg1).
arc(r_0040_0008__characters,r_0040_0010__the_r_0040_0011__book_r_0040_0012__or_r_0040_0013__short_r_0040_0014__story,r_0040_0009__in).
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_0010__the_r_0040_0011__book_r_0040_0012__or_r_0040_0013__short_r_0040_0014__story,inv_arg1).
fof(formula,axiom,
? [R_0040_0002__CLASS,R_0040_0003__YOU,R_0040_0016__HAVE_R_0040_0017__READ,R_0040_0010__THE_R_0040_0011__BOOK_R_0040_0012__OR_R_0040_0013__SHORT_R_0040_0014__STORY,R_0040_0008__CHARACTERS,R_0040_0004__HAVE_R_0040_0005__BEEN_R_0040_0006__TALKING_R_0040_0007__ABOUT] :
( r_0040_0002__class(R_0040_0002__CLASS)
& r_0040_0003__you(R_0040_0003__YOU)
& r_0040_0004__have_r_0040_0005__been_r_0040_0006__talking_r_0040_0007__about(R_0040_0004__HAVE_R_0040_0005__BEEN_R_0040_0006__TALKING_R_0040_0007__ABOUT)
& has_arg1(R_0040_0004__HAVE_R_0040_0005__BEEN_R_0040_0006__TALKING_R_0040_0007__ABOUT,R_0040_0008__CHARACTERS)
& r_0040_0008__characters(R_0040_0008__CHARACTERS)
& has_r_0040_0009__in(R_0040_0008__CHARACTERS,R_0040_0010__THE_R_0040_0011__BOOK_R_0040_0012__OR_R_0040_0013__SHORT_R_0040_0014__STORY)
& r_0040_0010__the_r_0040_0011__book_r_0040_0012__or_r_0040_0013__short_r_0040_0014__story(R_0040_0010__THE_R_0040_0011__BOOK_R_0040_0012__OR_R_0040_0013__SHORT_R_0040_0014__STORY)
& has_inv_arg1(R_0040_0010__THE_R_0040_0011__BOOK_R_0040_0012__OR_R_0040_0013__SHORT_R_0040_0014__STORY,R_0040_0016__HAVE_R_0040_0017__READ)
& r_0040_0016__have_r_0040_0017__read(R_0040_0016__HAVE_R_0040_0017__READ)
& has_arg0(R_0040_0016__HAVE_R_0040_0017__READ,R_0040_0003__YOU)
& has_arg0(R_0040_0004__HAVE_R_0040_0005__BEEN_R_0040_0006__TALKING_R_0040_0007__ABOUT,R_0040_0003__YOU)
& has_r_0040_0001__In__nim(R_0040_0004__HAVE_R_0040_0005__BEEN_R_0040_0006__TALKING_R_0040_0007__ABOUT,R_0040_0002__CLASS) ) ).