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_0007__will_r_0021_0008__win will win 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] r_0021_0001__The_r_0021_0002__writer The writer r_0021_0007__will_r_0021_0008__win->r_0021_0001__The_r_0021_0002__writer [arg0] 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] 
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__1_1_1_1 The n21_a_fce_0100_2000_12__1_1_2_1 writer n21_a_fce_0100_2000_12__1_1_3_1_1 of n21_a_fce_0100_2000_12__1_1_3_2_1_1 the n21_a_fce_0100_2000_12__1_1_3_2_2_1_1 best n21_a_fce_0100_2000_12__1_1_3_2_3_1 article n21_a_fce_0100_2000_12__1_2_1 will n21_a_fce_0100_2000_12__1_3_1_1 win n21_a_fce_0100_2000_12__1_3_2_1_1 a n21_a_fce_0100_2000_12__1_3_2_2_1 prize n21_a_fce_0100_2000_12__1_4_1 . n21_a_fce_0100_2000_12__1 IP-MAT n21_a_fce_0100_2000_12__1_1 NP-SBJ n21_a_fce_0100_2000_12__1->n21_a_fce_0100_2000_12__1_1 n21_a_fce_0100_2000_12__1_2 MD;_cat_Vi_ n21_a_fce_0100_2000_12__1->n21_a_fce_0100_2000_12__1_2 n21_a_fce_0100_2000_12__1_3 IP-INF-CAT n21_a_fce_0100_2000_12__1->n21_a_fce_0100_2000_12__1_3 n21_a_fce_0100_2000_12__1_4 PUNC n21_a_fce_0100_2000_12__1->n21_a_fce_0100_2000_12__1_4 n21_a_fce_0100_2000_12__1_1_1 D n21_a_fce_0100_2000_12__1_1->n21_a_fce_0100_2000_12__1_1_1 n21_a_fce_0100_2000_12__1_1_2 N n21_a_fce_0100_2000_12__1_1->n21_a_fce_0100_2000_12__1_1_2 n21_a_fce_0100_2000_12__1_1_3 PP n21_a_fce_0100_2000_12__1_1->n21_a_fce_0100_2000_12__1_1_3 n21_a_fce_0100_2000_12__1_1_1->n21_a_fce_0100_2000_12__1_1_1_1 n21_a_fce_0100_2000_12__1_1_2->n21_a_fce_0100_2000_12__1_1_2_1 n21_a_fce_0100_2000_12__1_1_3_1 P-ROLE n21_a_fce_0100_2000_12__1_1_3->n21_a_fce_0100_2000_12__1_1_3_1 n21_a_fce_0100_2000_12__1_1_3_2 NP n21_a_fce_0100_2000_12__1_1_3->n21_a_fce_0100_2000_12__1_1_3_2 n21_a_fce_0100_2000_12__1_1_3_1->n21_a_fce_0100_2000_12__1_1_3_1_1 n21_a_fce_0100_2000_12__1_1_3_2_1 D n21_a_fce_0100_2000_12__1_1_3_2->n21_a_fce_0100_2000_12__1_1_3_2_1 n21_a_fce_0100_2000_12__1_1_3_2_2 ADJP n21_a_fce_0100_2000_12__1_1_3_2->n21_a_fce_0100_2000_12__1_1_3_2_2 n21_a_fce_0100_2000_12__1_1_3_2_3 N n21_a_fce_0100_2000_12__1_1_3_2->n21_a_fce_0100_2000_12__1_1_3_2_3 n21_a_fce_0100_2000_12__1_1_3_2_1->n21_a_fce_0100_2000_12__1_1_3_2_1_1 n21_a_fce_0100_2000_12__1_1_3_2_2_1 ADJS n21_a_fce_0100_2000_12__1_1_3_2_2->n21_a_fce_0100_2000_12__1_1_3_2_2_1 n21_a_fce_0100_2000_12__1_1_3_2_2_1->n21_a_fce_0100_2000_12__1_1_3_2_2_1_1 n21_a_fce_0100_2000_12__1_1_3_2_3->n21_a_fce_0100_2000_12__1_1_3_2_3_1 n21_a_fce_0100_2000_12__1_2->n21_a_fce_0100_2000_12__1_2_1 n21_a_fce_0100_2000_12__1_3_1 VB;_Tn_ n21_a_fce_0100_2000_12__1_3->n21_a_fce_0100_2000_12__1_3_1 n21_a_fce_0100_2000_12__1_3_2 NP-OB1 n21_a_fce_0100_2000_12__1_3->n21_a_fce_0100_2000_12__1_3_2 n21_a_fce_0100_2000_12__1_3_1->n21_a_fce_0100_2000_12__1_3_1_1 n21_a_fce_0100_2000_12__1_3_2_1 D n21_a_fce_0100_2000_12__1_3_2->n21_a_fce_0100_2000_12__1_3_2_1 n21_a_fce_0100_2000_12__1_3_2_2 N n21_a_fce_0100_2000_12__1_3_2->n21_a_fce_0100_2000_12__1_3_2_2 n21_a_fce_0100_2000_12__1_3_2_1->n21_a_fce_0100_2000_12__1_3_2_1_1 n21_a_fce_0100_2000_12__1_3_2_2->n21_a_fce_0100_2000_12__1_3_2_2_1 n21_a_fce_0100_2000_12__1_4->n21_a_fce_0100_2000_12__1_4_1 
( (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))