Context                Previous, Next                Top


4_a_fce_0101_2001_06
You have seen an article about the weekend in a local newspaper, which is incorrect.

%3 r_0004_0002__have have r_0004_0003__seen seen r_0004_0002__have->r_0004_0003__seen [scope] r_0004_0001__You You r_0004_0003__seen->r_0004_0001__You [arg0] r_0004_0004__an_r_0004_0005__article an article r_0004_0003__seen->r_0004_0004__an_r_0004_0005__article [arg1] r_0004_0010__a_r_0004_0012__newspaper a newspaper r_0004_0003__seen->r_0004_0010__a_r_0004_0012__newspaper in [nim] r_0004_0007__the_r_0004_0008__weekend the weekend r_0004_0004__an_r_0004_0005__article->r_0004_0007__the_r_0004_0008__weekend about r_0004_0011__local local r_0004_0010__a_r_0004_0012__newspaper->r_0004_0011__local [attrib] r_0004_0015__is is r_0004_0015__is->r_0004_0004__an_r_0004_0005__article [arg0] r_0004_0016__incorrect incorrect r_0004_0015__is->r_0004_0016__incorrect [prd] 
arc(r_0004_0002__have, r_0004_0003__seen, scope).
arc(r_0004_0003__seen, r_0004_0001__You, arg0).
arc(r_0004_0003__seen, r_0004_0004__an_r_0004_0005__article, arg1).
arc(r_0004_0003__seen, r_0004_0010__a_r_0004_0012__newspaper, r_0004_0009__in_nim28).
arc(r_0004_0004__an_r_0004_0005__article, r_0004_0007__the_r_0004_0008__weekend, r_0004_0006__about).
arc(r_0004_0010__a_r_0004_0012__newspaper, r_0004_0011__local, attrib31).
arc(r_0004_0015__is, r_0004_0004__an_r_0004_0005__article, arg0).
arc(r_0004_0015__is, r_0004_0016__incorrect, prd).


%3 r_0004_0015__is is r_0004_0016__incorrect incorrect r_0004_0015__is->r_0004_0016__incorrect [prd] r_0004_0004__an_r_0004_0005__article an article r_0004_0015__is->r_0004_0004__an_r_0004_0005__article [arg0] r_0004_0007__the_r_0004_0008__weekend the weekend r_0004_0004__an_r_0004_0005__article->r_0004_0007__the_r_0004_0008__weekend about r_0004_0010__a_r_0004_0012__newspaper a newspaper r_0004_0011__local local r_0004_0010__a_r_0004_0012__newspaper->r_0004_0011__local [attrib] r_0004_0002__have_r_0004_0003__seen have seen r_0004_0002__have_r_0004_0003__seen->r_0004_0004__an_r_0004_0005__article [arg1] r_0004_0002__have_r_0004_0003__seen->r_0004_0010__a_r_0004_0012__newspaper in [nim] r_0004_0001__You You r_0004_0002__have_r_0004_0003__seen->r_0004_0001__You [arg0] 
fof(formula,axiom,
    ? [R_4_2_HAVE_SEEN,R_4_1_YOU,R_4_10_A_NEWSPAPER,R_4_11_LOCAL,R_4_15_IS,R_4_4_AN_ARTICLE,R_4_7_THE_WEEKEND,R_4_16_INCORRECT] :
      ( you(R_4_1_YOU)
      & local(R_4_11_LOCAL)
      & the_weekend(R_4_7_THE_WEEKEND)
      & incorrect(R_4_16_INCORRECT)
      & have_seen(R_4_2_HAVE_SEEN,R_4_1_YOU,R_4_4_AN_ARTICLE)
      & an_article(R_4_4_AN_ARTICLE)
      & about(R_4_4_AN_ARTICLE,R_4_7_THE_WEEKEND)
      & in_nim28(R_4_2_HAVE_SEEN,R_4_10_A_NEWSPAPER)
      & a_newspaper(R_4_10_A_NEWSPAPER)
      & attrib31(R_4_10_A_NEWSPAPER,R_4_11_LOCAL)
      & is(R_4_15_IS,R_4_4_AN_ARTICLE,R_4_16_INCORRECT) ) ).


n4_a_fce_0101_2001_06 n4_a_fce_0101_2001_06__1_1_1_1 You n4_a_fce_0101_2001_06__1_2_1 have n4_a_fce_0101_2001_06__1_3_1_1 seen n4_a_fce_0101_2001_06__1_3_2_1_1 an n4_a_fce_0101_2001_06__1_3_2_2_1 article n4_a_fce_0101_2001_06__1_3_2_3_1_1 about n4_a_fce_0101_2001_06__1_3_2_3_2_1_1 the n4_a_fce_0101_2001_06__1_3_2_3_2_2_1 weekend n4_a_fce_0101_2001_06__1_3_2_4_1 *ICH*-142 n4_a_fce_0101_2001_06__1_3_3_1_1 in n4_a_fce_0101_2001_06__1_3_3_2_1_1 a n4_a_fce_0101_2001_06__1_3_3_2_2_1_1 local n4_a_fce_0101_2001_06__1_3_3_2_3_1 newspaper n4_a_fce_0101_2001_06__1_3_4_1 , n4_a_fce_0101_2001_06__1_3_5_1_1_1 which n4_a_fce_0101_2001_06__1_3_5_2_1 is n4_a_fce_0101_2001_06__1_3_5_3_1_1 incorrect n4_a_fce_0101_2001_06__1_4_1 . n4_a_fce_0101_2001_06__1 IP-MAT n4_a_fce_0101_2001_06__1_1 NP-SBJ n4_a_fce_0101_2001_06__1->n4_a_fce_0101_2001_06__1_1 n4_a_fce_0101_2001_06__1_2 HVP;_cat_Ve_ n4_a_fce_0101_2001_06__1->n4_a_fce_0101_2001_06__1_2 n4_a_fce_0101_2001_06__1_3 IP-PPL-CAT n4_a_fce_0101_2001_06__1->n4_a_fce_0101_2001_06__1_3 n4_a_fce_0101_2001_06__1_4 PUNC n4_a_fce_0101_2001_06__1->n4_a_fce_0101_2001_06__1_4 n4_a_fce_0101_2001_06__1_1_1 PRO n4_a_fce_0101_2001_06__1_1->n4_a_fce_0101_2001_06__1_1_1 n4_a_fce_0101_2001_06__1_1_1->n4_a_fce_0101_2001_06__1_1_1_1 n4_a_fce_0101_2001_06__1_2->n4_a_fce_0101_2001_06__1_2_1 n4_a_fce_0101_2001_06__1_3_1 VVN;_Tn_ n4_a_fce_0101_2001_06__1_3->n4_a_fce_0101_2001_06__1_3_1 n4_a_fce_0101_2001_06__1_3_2 NP-OB1 n4_a_fce_0101_2001_06__1_3->n4_a_fce_0101_2001_06__1_3_2 n4_a_fce_0101_2001_06__1_3_3 PP-NIM n4_a_fce_0101_2001_06__1_3->n4_a_fce_0101_2001_06__1_3_3 n4_a_fce_0101_2001_06__1_3_4 PUNC n4_a_fce_0101_2001_06__1_3->n4_a_fce_0101_2001_06__1_3_4 n4_a_fce_0101_2001_06__1_3_5 IP-REL-EPD-142 n4_a_fce_0101_2001_06__1_3->n4_a_fce_0101_2001_06__1_3_5 n4_a_fce_0101_2001_06__1_3_1->n4_a_fce_0101_2001_06__1_3_1_1 n4_a_fce_0101_2001_06__1_3_2_1 D n4_a_fce_0101_2001_06__1_3_2->n4_a_fce_0101_2001_06__1_3_2_1 n4_a_fce_0101_2001_06__1_3_2_2 N n4_a_fce_0101_2001_06__1_3_2->n4_a_fce_0101_2001_06__1_3_2_2 n4_a_fce_0101_2001_06__1_3_2_3 PP n4_a_fce_0101_2001_06__1_3_2->n4_a_fce_0101_2001_06__1_3_2_3 n4_a_fce_0101_2001_06__1_3_2_4 IP-REL n4_a_fce_0101_2001_06__1_3_2->n4_a_fce_0101_2001_06__1_3_2_4 n4_a_fce_0101_2001_06__1_3_2_1->n4_a_fce_0101_2001_06__1_3_2_1_1 n4_a_fce_0101_2001_06__1_3_2_2->n4_a_fce_0101_2001_06__1_3_2_2_1 n4_a_fce_0101_2001_06__1_3_2_3_1 P-ROLE n4_a_fce_0101_2001_06__1_3_2_3->n4_a_fce_0101_2001_06__1_3_2_3_1 n4_a_fce_0101_2001_06__1_3_2_3_2 NP n4_a_fce_0101_2001_06__1_3_2_3->n4_a_fce_0101_2001_06__1_3_2_3_2 n4_a_fce_0101_2001_06__1_3_2_3_1->n4_a_fce_0101_2001_06__1_3_2_3_1_1 n4_a_fce_0101_2001_06__1_3_2_3_2_1 D n4_a_fce_0101_2001_06__1_3_2_3_2->n4_a_fce_0101_2001_06__1_3_2_3_2_1 n4_a_fce_0101_2001_06__1_3_2_3_2_2 N n4_a_fce_0101_2001_06__1_3_2_3_2->n4_a_fce_0101_2001_06__1_3_2_3_2_2 n4_a_fce_0101_2001_06__1_3_2_3_2_1->n4_a_fce_0101_2001_06__1_3_2_3_2_1_1 n4_a_fce_0101_2001_06__1_3_2_3_2_2->n4_a_fce_0101_2001_06__1_3_2_3_2_2_1 n4_a_fce_0101_2001_06__1_3_2_4->n4_a_fce_0101_2001_06__1_3_2_4_1 n4_a_fce_0101_2001_06__1_3_3_1 P-ROLE n4_a_fce_0101_2001_06__1_3_3->n4_a_fce_0101_2001_06__1_3_3_1 n4_a_fce_0101_2001_06__1_3_3_2 NP n4_a_fce_0101_2001_06__1_3_3->n4_a_fce_0101_2001_06__1_3_3_2 n4_a_fce_0101_2001_06__1_3_3_1->n4_a_fce_0101_2001_06__1_3_3_1_1 n4_a_fce_0101_2001_06__1_3_3_2_1 D n4_a_fce_0101_2001_06__1_3_3_2->n4_a_fce_0101_2001_06__1_3_3_2_1 n4_a_fce_0101_2001_06__1_3_3_2_2 ADJP n4_a_fce_0101_2001_06__1_3_3_2->n4_a_fce_0101_2001_06__1_3_3_2_2 n4_a_fce_0101_2001_06__1_3_3_2_3 N n4_a_fce_0101_2001_06__1_3_3_2->n4_a_fce_0101_2001_06__1_3_3_2_3 n4_a_fce_0101_2001_06__1_3_3_2_1->n4_a_fce_0101_2001_06__1_3_3_2_1_1 n4_a_fce_0101_2001_06__1_3_3_2_2_1 ADJ n4_a_fce_0101_2001_06__1_3_3_2_2->n4_a_fce_0101_2001_06__1_3_3_2_2_1 n4_a_fce_0101_2001_06__1_3_3_2_2_1->n4_a_fce_0101_2001_06__1_3_3_2_2_1_1 n4_a_fce_0101_2001_06__1_3_3_2_3->n4_a_fce_0101_2001_06__1_3_3_2_3_1 n4_a_fce_0101_2001_06__1_3_4->n4_a_fce_0101_2001_06__1_3_4_1 n4_a_fce_0101_2001_06__1_3_5_1 NP-SBJ n4_a_fce_0101_2001_06__1_3_5->n4_a_fce_0101_2001_06__1_3_5_1 n4_a_fce_0101_2001_06__1_3_5_2 BEP;_La_ n4_a_fce_0101_2001_06__1_3_5->n4_a_fce_0101_2001_06__1_3_5_2 n4_a_fce_0101_2001_06__1_3_5_3 ADJP-PRD n4_a_fce_0101_2001_06__1_3_5->n4_a_fce_0101_2001_06__1_3_5_3 n4_a_fce_0101_2001_06__1_3_5_1_1 RPRO n4_a_fce_0101_2001_06__1_3_5_1->n4_a_fce_0101_2001_06__1_3_5_1_1 n4_a_fce_0101_2001_06__1_3_5_1_1->n4_a_fce_0101_2001_06__1_3_5_1_1_1 n4_a_fce_0101_2001_06__1_3_5_2->n4_a_fce_0101_2001_06__1_3_5_2_1 n4_a_fce_0101_2001_06__1_3_5_3_1 ADJ n4_a_fce_0101_2001_06__1_3_5_3->n4_a_fce_0101_2001_06__1_3_5_3_1 n4_a_fce_0101_2001_06__1_3_5_3_1->n4_a_fce_0101_2001_06__1_3_5_3_1_1 n4_a_fce_0101_2001_06__1_4->n4_a_fce_0101_2001_06__1_4_1 
( (IP-MAT (NP-SBJ (PRO You;{you}))
          (HVP;_cat_Ve_ have;{have})
          (IP-PPL-CAT (VVN;_Tn_ seen;{see})
                      (NP-OB1 (D an;{an})
                              (N article;{article})
                              (PP (P-ROLE about;{about})
                                  (NP (D the;{the})
                                      (N weekend;{weekend})))
                              (IP-REL *ICH*-142))
                      (PP-NIM (P-ROLE in;{in})
                              (NP (D a;{a})
                                  (ADJP (ADJ local;{local}))
                                  (N newspaper;{newspaper})))
                      (PUNC ,)
                      (IP-REL-EPD-142 (NP-SBJ (RPRO which;{which}))
                                      (BEP;_La_ is;{be})
                                      (ADJP-PRD (ADJ incorrect;{incorrect}))))
          (PUNC .))
  (ID 4_a_fce_0101_2001_06))