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_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 [conj2] r_0027_0008__are are r_0027_0006__because->r_0027_0008__are [conj1] 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 
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_4 Some n27_a_fce_0101_2000_06_6 books n27_a_fce_0101_2000_06_8 win n27_a_fce_0101_2000_06_12 literary n27_a_fce_0101_2000_06_14 prizes n27_a_fce_0101_2000_06_17 because n27_a_fce_0101_2000_06_21 they n27_a_fce_0101_2000_06_23 are n27_a_fce_0101_2000_06_26 special n27_a_fce_0101_2000_06_29 in n27_a_fce_0101_2000_06_32 some n27_a_fce_0101_2000_06_34 way n27_a_fce_0101_2000_06_36 . n27_a_fce_0101_2000_06_1 IP-MAT n27_a_fce_0101_2000_06_2 NP-SBJ n27_a_fce_0101_2000_06_1->n27_a_fce_0101_2000_06_2 n27_a_fce_0101_2000_06_7 VBP;_Tn_ n27_a_fce_0101_2000_06_1->n27_a_fce_0101_2000_06_7 n27_a_fce_0101_2000_06_9 NP-OB1 n27_a_fce_0101_2000_06_1->n27_a_fce_0101_2000_06_9 n27_a_fce_0101_2000_06_15 PP-SCON n27_a_fce_0101_2000_06_1->n27_a_fce_0101_2000_06_15 n27_a_fce_0101_2000_06_35 PUNC n27_a_fce_0101_2000_06_1->n27_a_fce_0101_2000_06_35 n27_a_fce_0101_2000_06_3 D n27_a_fce_0101_2000_06_2->n27_a_fce_0101_2000_06_3 n27_a_fce_0101_2000_06_5 NS n27_a_fce_0101_2000_06_2->n27_a_fce_0101_2000_06_5 n27_a_fce_0101_2000_06_3->n27_a_fce_0101_2000_06_4 n27_a_fce_0101_2000_06_5->n27_a_fce_0101_2000_06_6 n27_a_fce_0101_2000_06_7->n27_a_fce_0101_2000_06_8 n27_a_fce_0101_2000_06_10 ADJP n27_a_fce_0101_2000_06_9->n27_a_fce_0101_2000_06_10 n27_a_fce_0101_2000_06_13 NS n27_a_fce_0101_2000_06_9->n27_a_fce_0101_2000_06_13 n27_a_fce_0101_2000_06_11 ADJ n27_a_fce_0101_2000_06_10->n27_a_fce_0101_2000_06_11 n27_a_fce_0101_2000_06_11->n27_a_fce_0101_2000_06_12 n27_a_fce_0101_2000_06_13->n27_a_fce_0101_2000_06_14 n27_a_fce_0101_2000_06_16 P-CONN n27_a_fce_0101_2000_06_15->n27_a_fce_0101_2000_06_16 n27_a_fce_0101_2000_06_18 IP-ADV n27_a_fce_0101_2000_06_15->n27_a_fce_0101_2000_06_18 n27_a_fce_0101_2000_06_16->n27_a_fce_0101_2000_06_17 n27_a_fce_0101_2000_06_19 NP-SBJ n27_a_fce_0101_2000_06_18->n27_a_fce_0101_2000_06_19 n27_a_fce_0101_2000_06_22 BEP;_La_ n27_a_fce_0101_2000_06_18->n27_a_fce_0101_2000_06_22 n27_a_fce_0101_2000_06_24 ADJP-PRD n27_a_fce_0101_2000_06_18->n27_a_fce_0101_2000_06_24 n27_a_fce_0101_2000_06_20 PRO n27_a_fce_0101_2000_06_19->n27_a_fce_0101_2000_06_20 n27_a_fce_0101_2000_06_20->n27_a_fce_0101_2000_06_21 n27_a_fce_0101_2000_06_22->n27_a_fce_0101_2000_06_23 n27_a_fce_0101_2000_06_25 ADJ n27_a_fce_0101_2000_06_24->n27_a_fce_0101_2000_06_25 n27_a_fce_0101_2000_06_27 PP n27_a_fce_0101_2000_06_24->n27_a_fce_0101_2000_06_27 n27_a_fce_0101_2000_06_25->n27_a_fce_0101_2000_06_26 n27_a_fce_0101_2000_06_28 P-ROLE n27_a_fce_0101_2000_06_27->n27_a_fce_0101_2000_06_28 n27_a_fce_0101_2000_06_30 NP n27_a_fce_0101_2000_06_27->n27_a_fce_0101_2000_06_30 n27_a_fce_0101_2000_06_28->n27_a_fce_0101_2000_06_29 n27_a_fce_0101_2000_06_31 D n27_a_fce_0101_2000_06_30->n27_a_fce_0101_2000_06_31 n27_a_fce_0101_2000_06_33 N n27_a_fce_0101_2000_06_30->n27_a_fce_0101_2000_06_33 n27_a_fce_0101_2000_06_31->n27_a_fce_0101_2000_06_32 n27_a_fce_0101_2000_06_33->n27_a_fce_0101_2000_06_34 n27_a_fce_0101_2000_06_35->n27_a_fce_0101_2000_06_36 
( (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))