Context                Previous, Next                Top


27_a_fce_0101_2000_06
Some books win literary prizes because they are special in some way.

%3 r_0027_0003__win win r_0027_0001__Some_r_0027_0002__books Some books r_0027_0003__win->r_0027_0001__Some_r_0027_0002__books [arg0] r_0027_0005__prizes prizes r_0027_0003__win->r_0027_0005__prizes [arg1] r_0027_0004__literary literary r_0027_0005__prizes->r_0027_0004__literary [attrib] r_0027_0006__because because r_0027_0006__because->r_0027_0003__win [scope] r_0027_0008__are are r_0027_0006__because->r_0027_0008__are [restriction] r_0027_0008__are->r_0027_0001__Some_r_0027_0002__books [arg0] r_0027_0009__special special r_0027_0008__are->r_0027_0009__special [prd] r_0027_0011__some_r_0027_0012__way some way r_0027_0009__special->r_0027_0011__some_r_0027_0012__way in 
arc(r_0027_0003__win, r_0027_0001__Some_r_0027_0002__books, arg0).
arc(r_0027_0003__win, r_0027_0005__prizes, arg1).
arc(r_0027_0005__prizes, r_0027_0004__literary, attrib10).
arc(r_0027_0006__because, r_0027_0003__win, scope).
arc(r_0027_0006__because, r_0027_0008__are, restriction).
arc(r_0027_0008__are, r_0027_0001__Some_r_0027_0002__books, arg0).
arc(r_0027_0008__are, r_0027_0009__special, prd).
arc(r_0027_0009__special, r_0027_0011__some_r_0027_0012__way, r_0027_0010__in).


%3 r_0027_0009__special special r_0027_0011__some_r_0027_0012__way some way r_0027_0009__special->r_0027_0011__some_r_0027_0012__way in r_0027_0008__are are r_0027_0008__are->r_0027_0009__special [prd] r_0027_0001__Some_r_0027_0002__books Some books r_0027_0008__are->r_0027_0001__Some_r_0027_0002__books [arg0] r_0027_0006__because because r_0027_0006__because->r_0027_0008__are [conj1] r_0027_0003__win win r_0027_0006__because->r_0027_0003__win [conj2] r_0027_0003__win->r_0027_0001__Some_r_0027_0002__books [arg0] r_0027_0005__prizes prizes r_0027_0003__win->r_0027_0005__prizes [arg1] r_0027_0004__literary literary r_0027_0005__prizes->r_0027_0004__literary [attrib] 
fof(formula,axiom,
    ? [R_27_6_BECAUSE,R_27_8_ARE,R_27_9_SPECIAL,R_27_11_SOME_WAY,R_27_3_WIN,R_27_1_SOME_BOOKS,R_27_5_PRIZES,R_27_4_LITERARY] :
      ( some_way(R_27_11_SOME_WAY)
      & some_books(R_27_1_SOME_BOOKS)
      & literary(R_27_4_LITERARY)
      & because(R_27_6_BECAUSE)
      & conj1(R_27_6_BECAUSE,R_27_8_ARE)
      & are(R_27_8_ARE,R_27_1_SOME_BOOKS,R_27_9_SPECIAL)
      & special(R_27_9_SPECIAL)
      & in(R_27_9_SPECIAL,R_27_11_SOME_WAY)
      & conj2(R_27_6_BECAUSE,R_27_3_WIN)
      & win(R_27_3_WIN,R_27_1_SOME_BOOKS,R_27_5_PRIZES)
      & prizes(R_27_5_PRIZES)
      & attrib10(R_27_5_PRIZES,R_27_4_LITERARY) ) ).


n27_a_fce_0101_2000_06 n27_a_fce_0101_2000_06__1_1_1_1 Some n27_a_fce_0101_2000_06__1_1_2_1 books n27_a_fce_0101_2000_06__1_2_1 win n27_a_fce_0101_2000_06__1_3_1_1_1 literary n27_a_fce_0101_2000_06__1_3_2_1 prizes n27_a_fce_0101_2000_06__1_4_1_1 because n27_a_fce_0101_2000_06__1_4_2_1_1_1 they n27_a_fce_0101_2000_06__1_4_2_2_1 are n27_a_fce_0101_2000_06__1_4_2_3_1_1 special n27_a_fce_0101_2000_06__1_4_2_3_2_1_1 in n27_a_fce_0101_2000_06__1_4_2_3_2_2_1_1 some n27_a_fce_0101_2000_06__1_4_2_3_2_2_2_1 way n27_a_fce_0101_2000_06__1_5_1 . n27_a_fce_0101_2000_06__1 IP-MAT n27_a_fce_0101_2000_06__1_1 NP-SBJ n27_a_fce_0101_2000_06__1->n27_a_fce_0101_2000_06__1_1 n27_a_fce_0101_2000_06__1_2 VBP;_Tn_ n27_a_fce_0101_2000_06__1->n27_a_fce_0101_2000_06__1_2 n27_a_fce_0101_2000_06__1_3 NP-OB1 n27_a_fce_0101_2000_06__1->n27_a_fce_0101_2000_06__1_3 n27_a_fce_0101_2000_06__1_4 PP-SCON n27_a_fce_0101_2000_06__1->n27_a_fce_0101_2000_06__1_4 n27_a_fce_0101_2000_06__1_5 PUNC n27_a_fce_0101_2000_06__1->n27_a_fce_0101_2000_06__1_5 n27_a_fce_0101_2000_06__1_1_1 D n27_a_fce_0101_2000_06__1_1->n27_a_fce_0101_2000_06__1_1_1 n27_a_fce_0101_2000_06__1_1_2 NS n27_a_fce_0101_2000_06__1_1->n27_a_fce_0101_2000_06__1_1_2 n27_a_fce_0101_2000_06__1_1_1->n27_a_fce_0101_2000_06__1_1_1_1 n27_a_fce_0101_2000_06__1_1_2->n27_a_fce_0101_2000_06__1_1_2_1 n27_a_fce_0101_2000_06__1_2->n27_a_fce_0101_2000_06__1_2_1 n27_a_fce_0101_2000_06__1_3_1 ADJP n27_a_fce_0101_2000_06__1_3->n27_a_fce_0101_2000_06__1_3_1 n27_a_fce_0101_2000_06__1_3_2 NS n27_a_fce_0101_2000_06__1_3->n27_a_fce_0101_2000_06__1_3_2 n27_a_fce_0101_2000_06__1_3_1_1 ADJ n27_a_fce_0101_2000_06__1_3_1->n27_a_fce_0101_2000_06__1_3_1_1 n27_a_fce_0101_2000_06__1_3_1_1->n27_a_fce_0101_2000_06__1_3_1_1_1 n27_a_fce_0101_2000_06__1_3_2->n27_a_fce_0101_2000_06__1_3_2_1 n27_a_fce_0101_2000_06__1_4_1 P-CONN n27_a_fce_0101_2000_06__1_4->n27_a_fce_0101_2000_06__1_4_1 n27_a_fce_0101_2000_06__1_4_2 IP-ADV n27_a_fce_0101_2000_06__1_4->n27_a_fce_0101_2000_06__1_4_2 n27_a_fce_0101_2000_06__1_4_1->n27_a_fce_0101_2000_06__1_4_1_1 n27_a_fce_0101_2000_06__1_4_2_1 NP-SBJ n27_a_fce_0101_2000_06__1_4_2->n27_a_fce_0101_2000_06__1_4_2_1 n27_a_fce_0101_2000_06__1_4_2_2 BEP;_La_ n27_a_fce_0101_2000_06__1_4_2->n27_a_fce_0101_2000_06__1_4_2_2 n27_a_fce_0101_2000_06__1_4_2_3 ADJP-PRD n27_a_fce_0101_2000_06__1_4_2->n27_a_fce_0101_2000_06__1_4_2_3 n27_a_fce_0101_2000_06__1_4_2_1_1 PRO n27_a_fce_0101_2000_06__1_4_2_1->n27_a_fce_0101_2000_06__1_4_2_1_1 n27_a_fce_0101_2000_06__1_4_2_1_1->n27_a_fce_0101_2000_06__1_4_2_1_1_1 n27_a_fce_0101_2000_06__1_4_2_2->n27_a_fce_0101_2000_06__1_4_2_2_1 n27_a_fce_0101_2000_06__1_4_2_3_1 ADJ n27_a_fce_0101_2000_06__1_4_2_3->n27_a_fce_0101_2000_06__1_4_2_3_1 n27_a_fce_0101_2000_06__1_4_2_3_2 PP n27_a_fce_0101_2000_06__1_4_2_3->n27_a_fce_0101_2000_06__1_4_2_3_2 n27_a_fce_0101_2000_06__1_4_2_3_1->n27_a_fce_0101_2000_06__1_4_2_3_1_1 n27_a_fce_0101_2000_06__1_4_2_3_2_1 P-ROLE n27_a_fce_0101_2000_06__1_4_2_3_2->n27_a_fce_0101_2000_06__1_4_2_3_2_1 n27_a_fce_0101_2000_06__1_4_2_3_2_2 NP n27_a_fce_0101_2000_06__1_4_2_3_2->n27_a_fce_0101_2000_06__1_4_2_3_2_2 n27_a_fce_0101_2000_06__1_4_2_3_2_1->n27_a_fce_0101_2000_06__1_4_2_3_2_1_1 n27_a_fce_0101_2000_06__1_4_2_3_2_2_1 D n27_a_fce_0101_2000_06__1_4_2_3_2_2->n27_a_fce_0101_2000_06__1_4_2_3_2_2_1 n27_a_fce_0101_2000_06__1_4_2_3_2_2_2 N n27_a_fce_0101_2000_06__1_4_2_3_2_2->n27_a_fce_0101_2000_06__1_4_2_3_2_2_2 n27_a_fce_0101_2000_06__1_4_2_3_2_2_1->n27_a_fce_0101_2000_06__1_4_2_3_2_2_1_1 n27_a_fce_0101_2000_06__1_4_2_3_2_2_2->n27_a_fce_0101_2000_06__1_4_2_3_2_2_2_1 n27_a_fce_0101_2000_06__1_5->n27_a_fce_0101_2000_06__1_5_1 
( (IP-MAT (NP-SBJ;{BOOKS} (D Some;{some})
                          (NS books;{book}))
          (VBP;_Tn_ win;{win})
          (NP-OB1 (ADJP (ADJ literary;{literary}))
                  (NS prizes;{prize}))
          (PP-SCON (P-CONN because;{because})
                   (IP-ADV (NP-SBJ;{BOOKS} (PRO they;{they}))
                           (BEP;_La_ are;{be})
                           (ADJP-PRD (ADJ special;{special})
                                     (PP (P-ROLE in;{in})
                                         (NP (D some;{some})
                                             (N way;{way}))))))
          (PUNC .))
  (ID 27_a_fce_0101_2000_06))