( (IP-MAT (NP-SBJ (PRO You;{you}))
          (HVP;_cat_Ve_ have;{have})
          (IP-PPL-CAT (VVN;_Tn_ seen;{see})
                      (NP-OB1 (D this;{this})
                              (N notice;{notice}))
                      (PP-NIM (P-ROLE in;{in})
                              (NP (D an;{an})
                                  (ADJP (ADJ international;{international}))
                                  (N student;{student})
                                  (N magazine;{magazine}))))
          (PUNC .))
  (ID 16_a_fce_0102_2000_06))

arc(r_0016_0002__have,r_0016_0003__seen,scope).
arc(r_0016_0003__seen,r_0016_0001__You,arg0).
arc(r_0016_0003__seen,r_0016_0004__this_r_0016_0005__notice,arg1).
arc(r_0016_0003__seen,r_0016_0007__an_r_0016_0009__student_r_0016_0010__magazine,r_0016_0006__in__nim).
arc(r_0016_0007__an_r_0016_0009__student_r_0016_0010__magazine,r_0016_0008__international,attrib).

fof(formula,axiom,
    ? [R_0016_0001__YOU,R_0016_0004__THIS_R_0016_0005__NOTICE,R_0016_0008__INTERNATIONAL,R_0016_0007__AN_R_0016_0009__STUDENT_R_0016_0010__MAGAZINE,R_0016_0002__HAVE_R_0016_0003__SEEN] :
      ( r_0016_0001__You(R_0016_0001__YOU)
      & r_0016_0004__this_r_0016_0005__notice(R_0016_0004__THIS_R_0016_0005__NOTICE)
      & r_0016_0008__international(R_0016_0008__INTERNATIONAL)
      & r_0016_0002__have_r_0016_0003__seen(R_0016_0002__HAVE_R_0016_0003__SEEN)
      & has_r_0016_0006__in__nim(R_0016_0002__HAVE_R_0016_0003__SEEN,R_0016_0007__AN_R_0016_0009__STUDENT_R_0016_0010__MAGAZINE)
      & r_0016_0007__an_r_0016_0009__student_r_0016_0010__magazine(R_0016_0007__AN_R_0016_0009__STUDENT_R_0016_0010__MAGAZINE)
      & has_attrib(R_0016_0007__AN_R_0016_0009__STUDENT_R_0016_0010__MAGAZINE,R_0016_0008__INTERNATIONAL)
      & has_arg1(R_0016_0002__HAVE_R_0016_0003__SEEN,R_0016_0004__THIS_R_0016_0005__NOTICE)
      & has_arg0(R_0016_0002__HAVE_R_0016_0003__SEEN,R_0016_0001__YOU) ) ).