Context                Previous, Next                Top


26_a_fce_0102_2001_06
The best article will be published in the magazine.

%3 r_0026_0001__The_r_0026_0003__article The article r_0026_0002__best best r_0026_0001__The_r_0026_0003__article->r_0026_0002__best [attrib] r_0026_0004__will will r_0026_0005__be be r_0026_0004__will->r_0026_0005__be [scope] r_0026_0006__published published r_0026_0005__be->r_0026_0006__published [scope] r_0026_0006__published->r_0026_0001__The_r_0026_0003__article [arg1] r_0026_0008__the_r_0026_0009__magazine the magazine r_0026_0006__published->r_0026_0008__the_r_0026_0009__magazine in [nim] z_000_26_a_fce_0102_2001_06_16 r_0026_0006__published->z_000_26_a_fce_0102_2001_06_16 [arg0] 
arc(r_0026_0001__The_r_0026_0003__article, r_0026_0002__best, attrib5).
arc(r_0026_0004__will, r_0026_0005__be, scope).
arc(r_0026_0005__be, r_0026_0006__published, scope).
arc(r_0026_0006__published, r_0026_0001__The_r_0026_0003__article, arg1).
arc(r_0026_0006__published, r_0026_0008__the_r_0026_0009__magazine, r_0026_0007__in_nim23).
arc(r_0026_0006__published, z_000_26_a_fce_0102_2001_06_16, arg0).


%3 r_0026_0004__will_r_0026_0005__be_r_0026_0006__published will be published z_000_26_a_fce_0102_2001_06_16 r_0026_0004__will_r_0026_0005__be_r_0026_0006__published->z_000_26_a_fce_0102_2001_06_16 [arg0] r_0026_0008__the_r_0026_0009__magazine the magazine r_0026_0004__will_r_0026_0005__be_r_0026_0006__published->r_0026_0008__the_r_0026_0009__magazine in [nim] r_0026_0001__The_r_0026_0003__article The article r_0026_0004__will_r_0026_0005__be_r_0026_0006__published->r_0026_0001__The_r_0026_0003__article [arg1] r_0026_0002__best best r_0026_0001__The_r_0026_0003__article->r_0026_0002__best [attrib] 
fof(formula,axiom,
    ? [R_26_4_WILL_BE_PUBLISHED,Z_26_A_FCE_102_2001_6_16,R_26_1_THE_ARTICLE,R_26_2_BEST,R_26_8_THE_MAGAZINE] :
      ( best(R_26_2_BEST)
      & the_magazine(R_26_8_THE_MAGAZINE)
      & will_be_published(R_26_4_WILL_BE_PUBLISHED,Z_26_A_FCE_102_2001_6_16,R_26_1_THE_ARTICLE)
      & the_article(R_26_1_THE_ARTICLE)
      & attrib5(R_26_1_THE_ARTICLE,R_26_2_BEST)
      & in_nim23(R_26_4_WILL_BE_PUBLISHED,R_26_8_THE_MAGAZINE) ) ).


n26_a_fce_0102_2001_06 n26_a_fce_0102_2001_06__1_1_1_1 The n26_a_fce_0102_2001_06__1_1_2_1_1 best n26_a_fce_0102_2001_06__1_1_3_1 article n26_a_fce_0102_2001_06__1_2_1 will n26_a_fce_0102_2001_06__1_3_1_1 be n26_a_fce_0102_2001_06__1_3_2_1_1 * n26_a_fce_0102_2001_06__1_3_2_2_1 published n26_a_fce_0102_2001_06__1_3_2_3_1_1 in n26_a_fce_0102_2001_06__1_3_2_3_2_1_1 the n26_a_fce_0102_2001_06__1_3_2_3_2_2_1 magazine n26_a_fce_0102_2001_06__1_4_1 . n26_a_fce_0102_2001_06__1 IP-MAT n26_a_fce_0102_2001_06__1_1 NP-SBJ n26_a_fce_0102_2001_06__1->n26_a_fce_0102_2001_06__1_1 n26_a_fce_0102_2001_06__1_2 MD;_cat_Vi_ n26_a_fce_0102_2001_06__1->n26_a_fce_0102_2001_06__1_2 n26_a_fce_0102_2001_06__1_3 IP-INF-CAT n26_a_fce_0102_2001_06__1->n26_a_fce_0102_2001_06__1_3 n26_a_fce_0102_2001_06__1_4 PUNC n26_a_fce_0102_2001_06__1->n26_a_fce_0102_2001_06__1_4 n26_a_fce_0102_2001_06__1_1_1 D n26_a_fce_0102_2001_06__1_1->n26_a_fce_0102_2001_06__1_1_1 n26_a_fce_0102_2001_06__1_1_2 ADJP n26_a_fce_0102_2001_06__1_1->n26_a_fce_0102_2001_06__1_1_2 n26_a_fce_0102_2001_06__1_1_3 N n26_a_fce_0102_2001_06__1_1->n26_a_fce_0102_2001_06__1_1_3 n26_a_fce_0102_2001_06__1_1_1->n26_a_fce_0102_2001_06__1_1_1_1 n26_a_fce_0102_2001_06__1_1_2_1 ADJS n26_a_fce_0102_2001_06__1_1_2->n26_a_fce_0102_2001_06__1_1_2_1 n26_a_fce_0102_2001_06__1_1_2_1->n26_a_fce_0102_2001_06__1_1_2_1_1 n26_a_fce_0102_2001_06__1_1_3->n26_a_fce_0102_2001_06__1_1_3_1 n26_a_fce_0102_2001_06__1_2->n26_a_fce_0102_2001_06__1_2_1 n26_a_fce_0102_2001_06__1_3_1 BE;_cat_VePASS_ n26_a_fce_0102_2001_06__1_3->n26_a_fce_0102_2001_06__1_3_1 n26_a_fce_0102_2001_06__1_3_2 IP-PPL-CAT n26_a_fce_0102_2001_06__1_3->n26_a_fce_0102_2001_06__1_3_2 n26_a_fce_0102_2001_06__1_3_1->n26_a_fce_0102_2001_06__1_3_1_1 n26_a_fce_0102_2001_06__1_3_2_1 NP-LGS n26_a_fce_0102_2001_06__1_3_2->n26_a_fce_0102_2001_06__1_3_2_1 n26_a_fce_0102_2001_06__1_3_2_2 VVN;_Tn_ n26_a_fce_0102_2001_06__1_3_2->n26_a_fce_0102_2001_06__1_3_2_2 n26_a_fce_0102_2001_06__1_3_2_3 PP-NIM n26_a_fce_0102_2001_06__1_3_2->n26_a_fce_0102_2001_06__1_3_2_3 n26_a_fce_0102_2001_06__1_3_2_1->n26_a_fce_0102_2001_06__1_3_2_1_1 n26_a_fce_0102_2001_06__1_3_2_2->n26_a_fce_0102_2001_06__1_3_2_2_1 n26_a_fce_0102_2001_06__1_3_2_3_1 P-ROLE n26_a_fce_0102_2001_06__1_3_2_3->n26_a_fce_0102_2001_06__1_3_2_3_1 n26_a_fce_0102_2001_06__1_3_2_3_2 NP n26_a_fce_0102_2001_06__1_3_2_3->n26_a_fce_0102_2001_06__1_3_2_3_2 n26_a_fce_0102_2001_06__1_3_2_3_1->n26_a_fce_0102_2001_06__1_3_2_3_1_1 n26_a_fce_0102_2001_06__1_3_2_3_2_1 D n26_a_fce_0102_2001_06__1_3_2_3_2->n26_a_fce_0102_2001_06__1_3_2_3_2_1 n26_a_fce_0102_2001_06__1_3_2_3_2_2 N n26_a_fce_0102_2001_06__1_3_2_3_2->n26_a_fce_0102_2001_06__1_3_2_3_2_2 n26_a_fce_0102_2001_06__1_3_2_3_2_1->n26_a_fce_0102_2001_06__1_3_2_3_2_1_1 n26_a_fce_0102_2001_06__1_3_2_3_2_2->n26_a_fce_0102_2001_06__1_3_2_3_2_2_1 n26_a_fce_0102_2001_06__1_4->n26_a_fce_0102_2001_06__1_4_1 
( (IP-MAT (NP-SBJ (D The;{the})
                  (ADJP (ADJS best;{good}))
                  (N article;{article}))
          (MD;_cat_Vi_ will;{will})
          (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Tn_ published;{publish})
                                  (PP-NIM (P-ROLE in;{in})
                                          (NP (D the;{the})
                                              (N magazine;{magazine})))))
          (PUNC .))
  (ID 26_a_fce_0102_2001_06))