( (IP-MAT (NP-SBJ (PRO You;{you}))
          (VBP;_Tn_ see;{see})
          (NP-OB1 (D the;{the})
                  (ADJP (ADJ following;{following}))
                  (N notice;{notice}))
          (PP-NIM (P-ROLE in;{in})
                  (NP (D a;{a})
                      (N student;{student})
                      (N magazine;{magazine})))
          (PUNC .))
  (ID 13_a_fce_0102_2000_12))

arc(r_0013_0002__see,r_0013_0001__You,arg0).
arc(r_0013_0002__see,r_0013_0003__the_r_0013_0005__notice,arg1).
arc(r_0013_0002__see,r_0013_0007__a_r_0013_0008__student_r_0013_0009__magazine,r_0013_0006__in__nim).
arc(r_0013_0003__the_r_0013_0005__notice,r_0013_0004__following,attrib).

fof(formula,axiom,
    ? [R_0013_0001__YOU,R_0013_0004__FOLLOWING,R_0013_0003__THE_R_0013_0005__NOTICE,R_0013_0007__A_R_0013_0008__STUDENT_R_0013_0009__MAGAZINE,R_0013_0002__SEE] :
      ( r_0013_0001__You(R_0013_0001__YOU)
      & r_0013_0004__following(R_0013_0004__FOLLOWING)
      & r_0013_0007__a_r_0013_0008__student_r_0013_0009__magazine(R_0013_0007__A_R_0013_0008__STUDENT_R_0013_0009__MAGAZINE)
      & r_0013_0002__see(R_0013_0002__SEE)
      & has_r_0013_0006__in__nim(R_0013_0002__SEE,R_0013_0007__A_R_0013_0008__STUDENT_R_0013_0009__MAGAZINE)
      & has_arg1(R_0013_0002__SEE,R_0013_0003__THE_R_0013_0005__NOTICE)
      & ~ has_attrib(R_0013_0003__THE_R_0013_0005__NOTICE,R_0013_0004__FOLLOWING)
      & has_arg0(R_0013_0002__SEE,R_0013_0001__YOU) ) ).