( (IP-MAT (NP-SBJ (PRO You;{you}))
          (VBP;_Tn_ see;{see})
          (NP-OB1 (D this;{this})
                  (N announcement;{announcement}))
          (PP-NIM (P-ROLE in;{in})
                  (NP (D an;{an})
                      (ADJP (ADJ English;{english}))
                      (N language;{language})
                      (N magazine;{magazine})))
          (PUNC .))
  (ID 20_a_fce_0102_2001_06))

arc(r_0020_0002__see,r_0020_0001__You,arg0).
arc(r_0020_0002__see,r_0020_0003__this_r_0020_0004__announcement,arg1).
arc(r_0020_0002__see,r_0020_0006__an_r_0020_0008__language_r_0020_0009__magazine,r_0020_0005__in__nim).
arc(r_0020_0006__an_r_0020_0008__language_r_0020_0009__magazine,r_0020_0007__English,attrib).

fof(formula,axiom,
    ? [R_0020_0001__YOU,R_0020_0003__THIS_R_0020_0004__ANNOUNCEMENT,R_0020_0007__ENGLISH,R_0020_0006__AN_R_0020_0008__LANGUAGE_R_0020_0009__MAGAZINE,R_0020_0002__SEE] :
      ( r_0020_0001__You(R_0020_0001__YOU)
      & r_0020_0003__this_r_0020_0004__announcement(R_0020_0003__THIS_R_0020_0004__ANNOUNCEMENT)
      & r_0020_0007__English(R_0020_0007__ENGLISH)
      & r_0020_0002__see(R_0020_0002__SEE)
      & has_r_0020_0005__in__nim(R_0020_0002__SEE,R_0020_0006__AN_R_0020_0008__LANGUAGE_R_0020_0009__MAGAZINE)
      & r_0020_0006__an_r_0020_0008__language_r_0020_0009__magazine(R_0020_0006__AN_R_0020_0008__LANGUAGE_R_0020_0009__MAGAZINE)
      & has_attrib(R_0020_0006__AN_R_0020_0008__LANGUAGE_R_0020_0009__MAGAZINE,R_0020_0007__ENGLISH)
      & has_arg1(R_0020_0002__SEE,R_0020_0003__THIS_R_0020_0004__ANNOUNCEMENT)
      & has_arg0(R_0020_0002__SEE,R_0020_0001__YOU) ) ).