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_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_r_0026_0005__be_r_0026_0006__published will be published r_0026_0004__will_r_0026_0005__be_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_0004__will_r_0026_0005__be_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_0004__will_r_0026_0005__be_r_0026_0006__published->z_000_26_a_fce_0102_2001_06_16 [arg0] 
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_4 The n26_a_fce_0102_2001_06_7 best n26_a_fce_0102_2001_06_9 article n26_a_fce_0102_2001_06_11 will n26_a_fce_0102_2001_06_14 be n26_a_fce_0102_2001_06_17 * n26_a_fce_0102_2001_06_19 published n26_a_fce_0102_2001_06_22 in n26_a_fce_0102_2001_06_25 the n26_a_fce_0102_2001_06_27 magazine n26_a_fce_0102_2001_06_29 . n26_a_fce_0102_2001_06_1 IP-MAT n26_a_fce_0102_2001_06_2 NP-SBJ n26_a_fce_0102_2001_06_1->n26_a_fce_0102_2001_06_2 n26_a_fce_0102_2001_06_10 MD;_cat_Vi_ n26_a_fce_0102_2001_06_1->n26_a_fce_0102_2001_06_10 n26_a_fce_0102_2001_06_12 IP-INF-CAT n26_a_fce_0102_2001_06_1->n26_a_fce_0102_2001_06_12 n26_a_fce_0102_2001_06_28 PUNC n26_a_fce_0102_2001_06_1->n26_a_fce_0102_2001_06_28 n26_a_fce_0102_2001_06_3 D n26_a_fce_0102_2001_06_2->n26_a_fce_0102_2001_06_3 n26_a_fce_0102_2001_06_5 ADJP n26_a_fce_0102_2001_06_2->n26_a_fce_0102_2001_06_5 n26_a_fce_0102_2001_06_8 N n26_a_fce_0102_2001_06_2->n26_a_fce_0102_2001_06_8 n26_a_fce_0102_2001_06_3->n26_a_fce_0102_2001_06_4 n26_a_fce_0102_2001_06_6 ADJS n26_a_fce_0102_2001_06_5->n26_a_fce_0102_2001_06_6 n26_a_fce_0102_2001_06_6->n26_a_fce_0102_2001_06_7 n26_a_fce_0102_2001_06_8->n26_a_fce_0102_2001_06_9 n26_a_fce_0102_2001_06_10->n26_a_fce_0102_2001_06_11 n26_a_fce_0102_2001_06_13 BE;_cat_VePASS_ n26_a_fce_0102_2001_06_12->n26_a_fce_0102_2001_06_13 n26_a_fce_0102_2001_06_15 IP-PPL-CAT n26_a_fce_0102_2001_06_12->n26_a_fce_0102_2001_06_15 n26_a_fce_0102_2001_06_13->n26_a_fce_0102_2001_06_14 n26_a_fce_0102_2001_06_16 NP-LGS n26_a_fce_0102_2001_06_15->n26_a_fce_0102_2001_06_16 n26_a_fce_0102_2001_06_18 VVN;_Tn_ n26_a_fce_0102_2001_06_15->n26_a_fce_0102_2001_06_18 n26_a_fce_0102_2001_06_20 PP-NIM n26_a_fce_0102_2001_06_15->n26_a_fce_0102_2001_06_20 n26_a_fce_0102_2001_06_16->n26_a_fce_0102_2001_06_17 n26_a_fce_0102_2001_06_18->n26_a_fce_0102_2001_06_19 n26_a_fce_0102_2001_06_21 P-ROLE n26_a_fce_0102_2001_06_20->n26_a_fce_0102_2001_06_21 n26_a_fce_0102_2001_06_23 NP n26_a_fce_0102_2001_06_20->n26_a_fce_0102_2001_06_23 n26_a_fce_0102_2001_06_21->n26_a_fce_0102_2001_06_22 n26_a_fce_0102_2001_06_24 D n26_a_fce_0102_2001_06_23->n26_a_fce_0102_2001_06_24 n26_a_fce_0102_2001_06_26 N n26_a_fce_0102_2001_06_23->n26_a_fce_0102_2001_06_26 n26_a_fce_0102_2001_06_24->n26_a_fce_0102_2001_06_25 n26_a_fce_0102_2001_06_26->n26_a_fce_0102_2001_06_27 n26_a_fce_0102_2001_06_28->n26_a_fce_0102_2001_06_29 
( (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))