37_a_fce_0102_2000_12
Characters in books usually have to make choices.
( (IP-MAT (NP-SBJ (NS Characters;{character})
(PP (P-ROLE in;{in})
(NP (NS books;{book}))))
(ADVP-NIM (ADV usually;{usually}))
(HVP;_cat_Vt_ have;{have})
(IP-INF-CAT (TO to;{to})
(VB;_Tn_ make;{make})
(NP-OB1 (NS choices;{choice})))
(PUNC .))
(ID 37_a_fce_0102_2000_12))
arc(r_0037_0001__Characters,r_0037_0003__books,r_0037_0002__in).
arc(r_0037_0005__have,r_0037_0004__usually,nim).
arc(r_0037_0005__have,r_0037_0007__make,scope).
arc(r_0037_0007__make,r_0037_0001__Characters,arg0).
arc(r_0037_0007__make,r_0037_0008__choices,arg1).
fof(formula,axiom,
? [R_0037_0004__USUALLY,R_0037_0003__BOOKS,R_0037_0001__CHARACTERS,R_0037_0008__CHOICES,R_0037_0005__HAVE_R_0037_0007__MAKE] :
( r_0037_0003__books(R_0037_0003__BOOKS)
& r_0037_0004__usually(R_0037_0004__USUALLY)
& r_0037_0008__choices(R_0037_0008__CHOICES)
& r_0037_0005__have_r_0037_0007__make(R_0037_0005__HAVE_R_0037_0007__MAKE)
& has_arg1(R_0037_0005__HAVE_R_0037_0007__MAKE,R_0037_0008__CHOICES)
& has_arg0(R_0037_0005__HAVE_R_0037_0007__MAKE,R_0037_0001__CHARACTERS)
& r_0037_0001__Characters(R_0037_0001__CHARACTERS)
& has_r_0037_0002__in(R_0037_0001__CHARACTERS,R_0037_0003__BOOKS)
& has_nim(R_0037_0005__HAVE_R_0037_0007__MAKE,R_0037_0004__USUALLY) ) ).