Context                Previous, Next                Top


37_a_fce_0102_2000_12
Characters in books usually have to make choices.

%3 r_0037_0001__Characters Characters r_0037_0003__books books r_0037_0001__Characters->r_0037_0003__books in r_0037_0005__have have r_0037_0004__usually usually r_0037_0005__have->r_0037_0004__usually [nim] r_0037_0006__to_r_0037_0007__make to make r_0037_0005__have->r_0037_0006__to_r_0037_0007__make [scope] r_0037_0006__to_r_0037_0007__make->r_0037_0001__Characters [arg0] r_0037_0008__choices choices r_0037_0006__to_r_0037_0007__make->r_0037_0008__choices [arg1] 
arc(r_0037_0001__Characters, r_0037_0003__books, r_0037_0002__in).
arc(r_0037_0005__have, r_0037_0004__usually, nim11).
arc(r_0037_0005__have, r_0037_0006__to_r_0037_0007__make, scope).
arc(r_0037_0006__to_r_0037_0007__make, r_0037_0001__Characters, arg0).
arc(r_0037_0006__to_r_0037_0007__make, r_0037_0008__choices, arg1).


%3 r_0037_0005__have_r_0037_0006__to_r_0037_0007__make have to make r_0037_0008__choices choices r_0037_0005__have_r_0037_0006__to_r_0037_0007__make->r_0037_0008__choices [arg1] r_0037_0001__Characters Characters r_0037_0005__have_r_0037_0006__to_r_0037_0007__make->r_0037_0001__Characters [arg0] r_0037_0004__usually usually r_0037_0005__have_r_0037_0006__to_r_0037_0007__make->r_0037_0004__usually [nim] r_0037_0003__books books r_0037_0001__Characters->r_0037_0003__books in 
fof(formula,axiom,
    ? [R_37_5_HAVE_TO_MAKE,R_37_1_CHARACTERS,R_37_3_BOOKS,R_37_8_CHOICES,R_37_4_USUALLY] :
      ( books(R_37_3_BOOKS)
      & choices(R_37_8_CHOICES)
      & usually(R_37_4_USUALLY)
      & have_to_make(R_37_5_HAVE_TO_MAKE,R_37_1_CHARACTERS,R_37_8_CHOICES)
      & characters(R_37_1_CHARACTERS)
      & in(R_37_1_CHARACTERS,R_37_3_BOOKS)
      & nim11(R_37_5_HAVE_TO_MAKE,R_37_4_USUALLY) ) ).


n37_a_fce_0102_2000_12 n37_a_fce_0102_2000_12__1_1_1_1 Characters n37_a_fce_0102_2000_12__1_1_2_1_1 in n37_a_fce_0102_2000_12__1_1_2_2_1_1 books n37_a_fce_0102_2000_12__1_2_1_1 usually n37_a_fce_0102_2000_12__1_3_1 have n37_a_fce_0102_2000_12__1_4_1_1 to n37_a_fce_0102_2000_12__1_4_2_1 make n37_a_fce_0102_2000_12__1_4_3_1_1 choices n37_a_fce_0102_2000_12__1_5_1 . n37_a_fce_0102_2000_12__1 IP-MAT n37_a_fce_0102_2000_12__1_1 NP-SBJ n37_a_fce_0102_2000_12__1->n37_a_fce_0102_2000_12__1_1 n37_a_fce_0102_2000_12__1_2 ADVP-NIM n37_a_fce_0102_2000_12__1->n37_a_fce_0102_2000_12__1_2 n37_a_fce_0102_2000_12__1_3 HVP;_cat_Vt_ n37_a_fce_0102_2000_12__1->n37_a_fce_0102_2000_12__1_3 n37_a_fce_0102_2000_12__1_4 IP-INF-CAT n37_a_fce_0102_2000_12__1->n37_a_fce_0102_2000_12__1_4 n37_a_fce_0102_2000_12__1_5 PUNC n37_a_fce_0102_2000_12__1->n37_a_fce_0102_2000_12__1_5 n37_a_fce_0102_2000_12__1_1_1 NS n37_a_fce_0102_2000_12__1_1->n37_a_fce_0102_2000_12__1_1_1 n37_a_fce_0102_2000_12__1_1_2 PP n37_a_fce_0102_2000_12__1_1->n37_a_fce_0102_2000_12__1_1_2 n37_a_fce_0102_2000_12__1_1_1->n37_a_fce_0102_2000_12__1_1_1_1 n37_a_fce_0102_2000_12__1_1_2_1 P-ROLE n37_a_fce_0102_2000_12__1_1_2->n37_a_fce_0102_2000_12__1_1_2_1 n37_a_fce_0102_2000_12__1_1_2_2 NP n37_a_fce_0102_2000_12__1_1_2->n37_a_fce_0102_2000_12__1_1_2_2 n37_a_fce_0102_2000_12__1_1_2_1->n37_a_fce_0102_2000_12__1_1_2_1_1 n37_a_fce_0102_2000_12__1_1_2_2_1 NS n37_a_fce_0102_2000_12__1_1_2_2->n37_a_fce_0102_2000_12__1_1_2_2_1 n37_a_fce_0102_2000_12__1_1_2_2_1->n37_a_fce_0102_2000_12__1_1_2_2_1_1 n37_a_fce_0102_2000_12__1_2_1 ADV n37_a_fce_0102_2000_12__1_2->n37_a_fce_0102_2000_12__1_2_1 n37_a_fce_0102_2000_12__1_2_1->n37_a_fce_0102_2000_12__1_2_1_1 n37_a_fce_0102_2000_12__1_3->n37_a_fce_0102_2000_12__1_3_1 n37_a_fce_0102_2000_12__1_4_1 TO n37_a_fce_0102_2000_12__1_4->n37_a_fce_0102_2000_12__1_4_1 n37_a_fce_0102_2000_12__1_4_2 VB;_Tn_ n37_a_fce_0102_2000_12__1_4->n37_a_fce_0102_2000_12__1_4_2 n37_a_fce_0102_2000_12__1_4_3 NP-OB1 n37_a_fce_0102_2000_12__1_4->n37_a_fce_0102_2000_12__1_4_3 n37_a_fce_0102_2000_12__1_4_1->n37_a_fce_0102_2000_12__1_4_1_1 n37_a_fce_0102_2000_12__1_4_2->n37_a_fce_0102_2000_12__1_4_2_1 n37_a_fce_0102_2000_12__1_4_3_1 NS n37_a_fce_0102_2000_12__1_4_3->n37_a_fce_0102_2000_12__1_4_3_1 n37_a_fce_0102_2000_12__1_4_3_1->n37_a_fce_0102_2000_12__1_4_3_1_1 n37_a_fce_0102_2000_12__1_5->n37_a_fce_0102_2000_12__1_5_1 
( (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))