Context                Previous, Next                Top


21_a_fce_0100_2000_12
The writer of the best article will win a prize.

%3 r_0021_0001__The_r_0021_0002__writer The writer r_0021_0004__the_r_0021_0006__article the article r_0021_0001__The_r_0021_0002__writer->r_0021_0004__the_r_0021_0006__article of r_0021_0005__best best r_0021_0004__the_r_0021_0006__article->r_0021_0005__best [attrib] r_0021_0007__will will r_0021_0008__win win r_0021_0007__will->r_0021_0008__win [scope] r_0021_0008__win->r_0021_0001__The_r_0021_0002__writer [arg0] r_0021_0009__a_r_0021_0010__prize a prize r_0021_0008__win->r_0021_0009__a_r_0021_0010__prize [arg1] 
arc(r_0021_0001__The_r_0021_0002__writer, r_0021_0004__the_r_0021_0006__article, r_0021_0003__of).
arc(r_0021_0004__the_r_0021_0006__article, r_0021_0005__best, attrib13).
arc(r_0021_0007__will, r_0021_0008__win, scope).
arc(r_0021_0008__win, r_0021_0001__The_r_0021_0002__writer, arg0).
arc(r_0021_0008__win, r_0021_0009__a_r_0021_0010__prize, arg1).


%3 r_0021_0001__The_r_0021_0002__writer The writer r_0021_0004__the_r_0021_0006__article the article r_0021_0001__The_r_0021_0002__writer->r_0021_0004__the_r_0021_0006__article of r_0021_0005__best best r_0021_0004__the_r_0021_0006__article->r_0021_0005__best [attrib] r_0021_0007__will_r_0021_0008__win will win r_0021_0007__will_r_0021_0008__win->r_0021_0001__The_r_0021_0002__writer [arg0] r_0021_0009__a_r_0021_0010__prize a prize r_0021_0007__will_r_0021_0008__win->r_0021_0009__a_r_0021_0010__prize [arg1] 
fof(formula,axiom,
    ? [R_21_7_WILL_WIN,R_21_1_THE_WRITER,R_21_4_THE_ARTICLE,R_21_5_BEST,R_21_9_A_PRIZE] :
      ( best(R_21_5_BEST)
      & a_prize(R_21_9_A_PRIZE)
      & will_win(R_21_7_WILL_WIN,R_21_1_THE_WRITER,R_21_9_A_PRIZE)
      & the_writer(R_21_1_THE_WRITER)
      & of(R_21_1_THE_WRITER,R_21_4_THE_ARTICLE)
      & the_article(R_21_4_THE_ARTICLE)
      & attrib13(R_21_4_THE_ARTICLE,R_21_5_BEST) ) ).


n21_a_fce_0100_2000_12 n21_a_fce_0100_2000_12_4 The n21_a_fce_0100_2000_12_6 writer n21_a_fce_0100_2000_12_9 of n21_a_fce_0100_2000_12_12 the n21_a_fce_0100_2000_12_15 best n21_a_fce_0100_2000_12_17 article n21_a_fce_0100_2000_12_19 will n21_a_fce_0100_2000_12_22 win n21_a_fce_0100_2000_12_25 a n21_a_fce_0100_2000_12_27 prize n21_a_fce_0100_2000_12_29 . n21_a_fce_0100_2000_12_1 IP-MAT n21_a_fce_0100_2000_12_2 NP-SBJ n21_a_fce_0100_2000_12_1->n21_a_fce_0100_2000_12_2 n21_a_fce_0100_2000_12_18 MD;_cat_Vi_ n21_a_fce_0100_2000_12_1->n21_a_fce_0100_2000_12_18 n21_a_fce_0100_2000_12_20 IP-INF-CAT n21_a_fce_0100_2000_12_1->n21_a_fce_0100_2000_12_20 n21_a_fce_0100_2000_12_28 PUNC n21_a_fce_0100_2000_12_1->n21_a_fce_0100_2000_12_28 n21_a_fce_0100_2000_12_3 D n21_a_fce_0100_2000_12_2->n21_a_fce_0100_2000_12_3 n21_a_fce_0100_2000_12_5 N n21_a_fce_0100_2000_12_2->n21_a_fce_0100_2000_12_5 n21_a_fce_0100_2000_12_7 PP n21_a_fce_0100_2000_12_2->n21_a_fce_0100_2000_12_7 n21_a_fce_0100_2000_12_3->n21_a_fce_0100_2000_12_4 n21_a_fce_0100_2000_12_5->n21_a_fce_0100_2000_12_6 n21_a_fce_0100_2000_12_8 P-ROLE n21_a_fce_0100_2000_12_7->n21_a_fce_0100_2000_12_8 n21_a_fce_0100_2000_12_10 NP n21_a_fce_0100_2000_12_7->n21_a_fce_0100_2000_12_10 n21_a_fce_0100_2000_12_8->n21_a_fce_0100_2000_12_9 n21_a_fce_0100_2000_12_11 D n21_a_fce_0100_2000_12_10->n21_a_fce_0100_2000_12_11 n21_a_fce_0100_2000_12_13 ADJP n21_a_fce_0100_2000_12_10->n21_a_fce_0100_2000_12_13 n21_a_fce_0100_2000_12_16 N n21_a_fce_0100_2000_12_10->n21_a_fce_0100_2000_12_16 n21_a_fce_0100_2000_12_11->n21_a_fce_0100_2000_12_12 n21_a_fce_0100_2000_12_14 ADJS n21_a_fce_0100_2000_12_13->n21_a_fce_0100_2000_12_14 n21_a_fce_0100_2000_12_14->n21_a_fce_0100_2000_12_15 n21_a_fce_0100_2000_12_16->n21_a_fce_0100_2000_12_17 n21_a_fce_0100_2000_12_18->n21_a_fce_0100_2000_12_19 n21_a_fce_0100_2000_12_21 VB;_Tn_ n21_a_fce_0100_2000_12_20->n21_a_fce_0100_2000_12_21 n21_a_fce_0100_2000_12_23 NP-OB1 n21_a_fce_0100_2000_12_20->n21_a_fce_0100_2000_12_23 n21_a_fce_0100_2000_12_21->n21_a_fce_0100_2000_12_22 n21_a_fce_0100_2000_12_24 D n21_a_fce_0100_2000_12_23->n21_a_fce_0100_2000_12_24 n21_a_fce_0100_2000_12_26 N n21_a_fce_0100_2000_12_23->n21_a_fce_0100_2000_12_26 n21_a_fce_0100_2000_12_24->n21_a_fce_0100_2000_12_25 n21_a_fce_0100_2000_12_26->n21_a_fce_0100_2000_12_27 n21_a_fce_0100_2000_12_28->n21_a_fce_0100_2000_12_29 
( (IP-MAT (NP-SBJ (D The;{the})
                  (N writer;{writer})
                  (PP (P-ROLE of;{of})
                      (NP (D the;{the})
                          (ADJP (ADJS best;{good}))
                          (N article;{article}))))
          (MD;_cat_Vi_ will;{will})
          (IP-INF-CAT (VB;_Tn_ win;{win})
                      (NP-OB1 (D a;{a})
                              (N prize;{prize})))
          (PUNC .))
  (ID 21_a_fce_0100_2000_12))