Context                Previous, Next                Top


28_a_fce_0100_2001_06
The best article will be published in the magazine.

%3 r_0028_0001__The_r_0028_0003__article The article r_0028_0002__best best r_0028_0001__The_r_0028_0003__article->r_0028_0002__best [attrib] r_0028_0004__will will r_0028_0005__be be r_0028_0004__will->r_0028_0005__be [scope] r_0028_0006__published published r_0028_0005__be->r_0028_0006__published [scope] r_0028_0006__published->r_0028_0001__The_r_0028_0003__article [arg1] r_0028_0008__the_r_0028_0009__magazine the magazine r_0028_0006__published->r_0028_0008__the_r_0028_0009__magazine in [nim] z_000_28_a_fce_0100_2001_06_16 r_0028_0006__published->z_000_28_a_fce_0100_2001_06_16 [arg0] 
arc(r_0028_0001__The_r_0028_0003__article, r_0028_0002__best, attrib5).
arc(r_0028_0004__will, r_0028_0005__be, scope).
arc(r_0028_0005__be, r_0028_0006__published, scope).
arc(r_0028_0006__published, r_0028_0001__The_r_0028_0003__article, arg1).
arc(r_0028_0006__published, r_0028_0008__the_r_0028_0009__magazine, r_0028_0007__in_nim23).
arc(r_0028_0006__published, z_000_28_a_fce_0100_2001_06_16, arg0).


%3 r_0028_0004__will_r_0028_0005__be_r_0028_0006__published will be published z_000_28_a_fce_0100_2001_06_16 r_0028_0004__will_r_0028_0005__be_r_0028_0006__published->z_000_28_a_fce_0100_2001_06_16 [arg0] r_0028_0008__the_r_0028_0009__magazine the magazine r_0028_0004__will_r_0028_0005__be_r_0028_0006__published->r_0028_0008__the_r_0028_0009__magazine in [nim] r_0028_0001__The_r_0028_0003__article The article r_0028_0004__will_r_0028_0005__be_r_0028_0006__published->r_0028_0001__The_r_0028_0003__article [arg1] r_0028_0002__best best r_0028_0001__The_r_0028_0003__article->r_0028_0002__best [attrib] 
fof(formula,axiom,
    ? [R_28_4_WILL_BE_PUBLISHED,Z_28_A_FCE_100_2001_6_16,R_28_1_THE_ARTICLE,R_28_2_BEST,R_28_8_THE_MAGAZINE] :
      ( best(R_28_2_BEST)
      & the_magazine(R_28_8_THE_MAGAZINE)
      & will_be_published(R_28_4_WILL_BE_PUBLISHED,Z_28_A_FCE_100_2001_6_16,R_28_1_THE_ARTICLE)
      & the_article(R_28_1_THE_ARTICLE)
      & attrib5(R_28_1_THE_ARTICLE,R_28_2_BEST)
      & in_nim23(R_28_4_WILL_BE_PUBLISHED,R_28_8_THE_MAGAZINE) ) ).


n28_a_fce_0100_2001_06 n28_a_fce_0100_2001_06__1_1_1_1 The n28_a_fce_0100_2001_06__1_1_2_1_1 best n28_a_fce_0100_2001_06__1_1_3_1 article n28_a_fce_0100_2001_06__1_2_1 will n28_a_fce_0100_2001_06__1_3_1_1 be n28_a_fce_0100_2001_06__1_3_2_1_1 * n28_a_fce_0100_2001_06__1_3_2_2_1 published n28_a_fce_0100_2001_06__1_3_2_3_1_1 in n28_a_fce_0100_2001_06__1_3_2_3_2_1_1 the n28_a_fce_0100_2001_06__1_3_2_3_2_2_1 magazine n28_a_fce_0100_2001_06__1_4_1 . n28_a_fce_0100_2001_06__1 IP-MAT n28_a_fce_0100_2001_06__1_1 NP-SBJ n28_a_fce_0100_2001_06__1->n28_a_fce_0100_2001_06__1_1 n28_a_fce_0100_2001_06__1_2 MD;_cat_Vi_ n28_a_fce_0100_2001_06__1->n28_a_fce_0100_2001_06__1_2 n28_a_fce_0100_2001_06__1_3 IP-INF-CAT n28_a_fce_0100_2001_06__1->n28_a_fce_0100_2001_06__1_3 n28_a_fce_0100_2001_06__1_4 PUNC n28_a_fce_0100_2001_06__1->n28_a_fce_0100_2001_06__1_4 n28_a_fce_0100_2001_06__1_1_1 D n28_a_fce_0100_2001_06__1_1->n28_a_fce_0100_2001_06__1_1_1 n28_a_fce_0100_2001_06__1_1_2 ADJP n28_a_fce_0100_2001_06__1_1->n28_a_fce_0100_2001_06__1_1_2 n28_a_fce_0100_2001_06__1_1_3 N n28_a_fce_0100_2001_06__1_1->n28_a_fce_0100_2001_06__1_1_3 n28_a_fce_0100_2001_06__1_1_1->n28_a_fce_0100_2001_06__1_1_1_1 n28_a_fce_0100_2001_06__1_1_2_1 ADJS n28_a_fce_0100_2001_06__1_1_2->n28_a_fce_0100_2001_06__1_1_2_1 n28_a_fce_0100_2001_06__1_1_2_1->n28_a_fce_0100_2001_06__1_1_2_1_1 n28_a_fce_0100_2001_06__1_1_3->n28_a_fce_0100_2001_06__1_1_3_1 n28_a_fce_0100_2001_06__1_2->n28_a_fce_0100_2001_06__1_2_1 n28_a_fce_0100_2001_06__1_3_1 BE;_cat_VePASS_ n28_a_fce_0100_2001_06__1_3->n28_a_fce_0100_2001_06__1_3_1 n28_a_fce_0100_2001_06__1_3_2 IP-PPL-CAT n28_a_fce_0100_2001_06__1_3->n28_a_fce_0100_2001_06__1_3_2 n28_a_fce_0100_2001_06__1_3_1->n28_a_fce_0100_2001_06__1_3_1_1 n28_a_fce_0100_2001_06__1_3_2_1 NP-LGS n28_a_fce_0100_2001_06__1_3_2->n28_a_fce_0100_2001_06__1_3_2_1 n28_a_fce_0100_2001_06__1_3_2_2 VVN;_Tn_ n28_a_fce_0100_2001_06__1_3_2->n28_a_fce_0100_2001_06__1_3_2_2 n28_a_fce_0100_2001_06__1_3_2_3 PP-NIM n28_a_fce_0100_2001_06__1_3_2->n28_a_fce_0100_2001_06__1_3_2_3 n28_a_fce_0100_2001_06__1_3_2_1->n28_a_fce_0100_2001_06__1_3_2_1_1 n28_a_fce_0100_2001_06__1_3_2_2->n28_a_fce_0100_2001_06__1_3_2_2_1 n28_a_fce_0100_2001_06__1_3_2_3_1 P-ROLE n28_a_fce_0100_2001_06__1_3_2_3->n28_a_fce_0100_2001_06__1_3_2_3_1 n28_a_fce_0100_2001_06__1_3_2_3_2 NP n28_a_fce_0100_2001_06__1_3_2_3->n28_a_fce_0100_2001_06__1_3_2_3_2 n28_a_fce_0100_2001_06__1_3_2_3_1->n28_a_fce_0100_2001_06__1_3_2_3_1_1 n28_a_fce_0100_2001_06__1_3_2_3_2_1 D n28_a_fce_0100_2001_06__1_3_2_3_2->n28_a_fce_0100_2001_06__1_3_2_3_2_1 n28_a_fce_0100_2001_06__1_3_2_3_2_2 N n28_a_fce_0100_2001_06__1_3_2_3_2->n28_a_fce_0100_2001_06__1_3_2_3_2_2 n28_a_fce_0100_2001_06__1_3_2_3_2_1->n28_a_fce_0100_2001_06__1_3_2_3_2_1_1 n28_a_fce_0100_2001_06__1_3_2_3_2_2->n28_a_fce_0100_2001_06__1_3_2_3_2_2_1 n28_a_fce_0100_2001_06__1_4->n28_a_fce_0100_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 28_a_fce_0100_2001_06))