( (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))

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__nim).
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,attrib).
arc(r_0004_0015__is,r_0004_0004__an_r_0004_0005__article,arg0).
arc(r_0004_0015__is,r_0004_0016__incorrect,prd).

fof(formula,axiom,
    ? [R_0004_0001__YOU,R_0004_0007__THE_R_0004_0008__WEEKEND,R_0004_0004__AN_R_0004_0005__ARTICLE,R_0004_0011__LOCAL,R_0004_0010__A_R_0004_0012__NEWSPAPER,R_0004_0002__HAVE_R_0004_0003__SEEN,R_0004_0016__INCORRECT,R_0004_0015__IS] :
      ( r_0004_0001__You(R_0004_0001__YOU)
      & r_0004_0007__the_r_0004_0008__weekend(R_0004_0007__THE_R_0004_0008__WEEKEND)
      & r_0004_0011__local(R_0004_0011__LOCAL)
      & r_0004_0016__incorrect(R_0004_0016__INCORRECT)
      & r_0004_0015__is(R_0004_0015__IS)
      & has_prd(R_0004_0015__IS,R_0004_0016__INCORRECT)
      & has_arg0(R_0004_0015__IS,R_0004_0004__AN_R_0004_0005__ARTICLE)
      & r_0004_0004__an_r_0004_0005__article(R_0004_0004__AN_R_0004_0005__ARTICLE)
      & has_r_0004_0006__about(R_0004_0004__AN_R_0004_0005__ARTICLE,R_0004_0007__THE_R_0004_0008__WEEKEND)
      & r_0004_0002__have_r_0004_0003__seen(R_0004_0002__HAVE_R_0004_0003__SEEN)
      & has_r_0004_0009__in__nim(R_0004_0002__HAVE_R_0004_0003__SEEN,R_0004_0010__A_R_0004_0012__NEWSPAPER)
      & r_0004_0010__a_r_0004_0012__newspaper(R_0004_0010__A_R_0004_0012__NEWSPAPER)
      & has_attrib(R_0004_0010__A_R_0004_0012__NEWSPAPER,R_0004_0011__LOCAL)
      & has_arg1(R_0004_0002__HAVE_R_0004_0003__SEEN,R_0004_0004__AN_R_0004_0005__ARTICLE)
      & has_arg0(R_0004_0002__HAVE_R_0004_0003__SEEN,R_0004_0001__YOU) ) ).