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_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_r_0028_0005__be_r_0028_0006__published will be published r_0028_0004__will_r_0028_0005__be_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_0004__will_r_0028_0005__be_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_0004__will_r_0028_0005__be_r_0028_0006__published->z_000_28_a_fce_0100_2001_06_16 [arg0] 
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_4 The n28_a_fce_0100_2001_06_7 best n28_a_fce_0100_2001_06_9 article n28_a_fce_0100_2001_06_11 will n28_a_fce_0100_2001_06_14 be n28_a_fce_0100_2001_06_17 * n28_a_fce_0100_2001_06_19 published n28_a_fce_0100_2001_06_22 in n28_a_fce_0100_2001_06_25 the n28_a_fce_0100_2001_06_27 magazine n28_a_fce_0100_2001_06_29 . n28_a_fce_0100_2001_06_1 IP-MAT n28_a_fce_0100_2001_06_2 NP-SBJ n28_a_fce_0100_2001_06_1->n28_a_fce_0100_2001_06_2 n28_a_fce_0100_2001_06_10 MD;_cat_Vi_ n28_a_fce_0100_2001_06_1->n28_a_fce_0100_2001_06_10 n28_a_fce_0100_2001_06_12 IP-INF-CAT n28_a_fce_0100_2001_06_1->n28_a_fce_0100_2001_06_12 n28_a_fce_0100_2001_06_28 PUNC n28_a_fce_0100_2001_06_1->n28_a_fce_0100_2001_06_28 n28_a_fce_0100_2001_06_3 D n28_a_fce_0100_2001_06_2->n28_a_fce_0100_2001_06_3 n28_a_fce_0100_2001_06_5 ADJP n28_a_fce_0100_2001_06_2->n28_a_fce_0100_2001_06_5 n28_a_fce_0100_2001_06_8 N n28_a_fce_0100_2001_06_2->n28_a_fce_0100_2001_06_8 n28_a_fce_0100_2001_06_3->n28_a_fce_0100_2001_06_4 n28_a_fce_0100_2001_06_6 ADJS n28_a_fce_0100_2001_06_5->n28_a_fce_0100_2001_06_6 n28_a_fce_0100_2001_06_6->n28_a_fce_0100_2001_06_7 n28_a_fce_0100_2001_06_8->n28_a_fce_0100_2001_06_9 n28_a_fce_0100_2001_06_10->n28_a_fce_0100_2001_06_11 n28_a_fce_0100_2001_06_13 BE;_cat_VePASS_ n28_a_fce_0100_2001_06_12->n28_a_fce_0100_2001_06_13 n28_a_fce_0100_2001_06_15 IP-PPL-CAT n28_a_fce_0100_2001_06_12->n28_a_fce_0100_2001_06_15 n28_a_fce_0100_2001_06_13->n28_a_fce_0100_2001_06_14 n28_a_fce_0100_2001_06_16 NP-LGS n28_a_fce_0100_2001_06_15->n28_a_fce_0100_2001_06_16 n28_a_fce_0100_2001_06_18 VVN;_Tn_ n28_a_fce_0100_2001_06_15->n28_a_fce_0100_2001_06_18 n28_a_fce_0100_2001_06_20 PP-NIM n28_a_fce_0100_2001_06_15->n28_a_fce_0100_2001_06_20 n28_a_fce_0100_2001_06_16->n28_a_fce_0100_2001_06_17 n28_a_fce_0100_2001_06_18->n28_a_fce_0100_2001_06_19 n28_a_fce_0100_2001_06_21 P-ROLE n28_a_fce_0100_2001_06_20->n28_a_fce_0100_2001_06_21 n28_a_fce_0100_2001_06_23 NP n28_a_fce_0100_2001_06_20->n28_a_fce_0100_2001_06_23 n28_a_fce_0100_2001_06_21->n28_a_fce_0100_2001_06_22 n28_a_fce_0100_2001_06_24 D n28_a_fce_0100_2001_06_23->n28_a_fce_0100_2001_06_24 n28_a_fce_0100_2001_06_26 N n28_a_fce_0100_2001_06_23->n28_a_fce_0100_2001_06_26 n28_a_fce_0100_2001_06_24->n28_a_fce_0100_2001_06_25 n28_a_fce_0100_2001_06_26->n28_a_fce_0100_2001_06_27 n28_a_fce_0100_2001_06_28->n28_a_fce_0100_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 28_a_fce_0100_2001_06))