( (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 announcement;{announcement}))
                      (PP-NIM (P-ROLE in;{in})
                              (NP (NLYR (NLYR (NLYR (NPR Leisure;{Leisure}))
                                              (CONJP (CONJ and;{and})
                                                     (NLYR (NPR Entertainment;{Entertainment})))))
                                  (N magazine;{magazine}))))
          (PUNC .))
  (ID 21_a_fce_0102_2001_12))

arc(r_0021_0002__have,r_0021_0003__seen,scope).
arc(r_0021_0003__seen,r_0021_0001__You,arg0).
arc(r_0021_0003__seen,r_0021_0004__this_r_0021_0005__announcement,arg1).
arc(r_0021_0003__seen,r_0021_0010__magazine,r_0021_0006__in__nim).
arc(r_0021_0008__and,r_0021_0007__Leisure,conj1).
arc(r_0021_0008__and,r_0021_0009__Entertainment,conj2).
arc(r_0021_0010__magazine,r_0021_0008__and,nim).

fof(formula,axiom,
    ? [R_0021_0001__YOU,R_0021_0004__THIS_R_0021_0005__ANNOUNCEMENT,R_0021_0007__LEISURE,R_0021_0009__ENTERTAINMENT,R_0021_0008__AND,R_0021_0010__MAGAZINE,R_0021_0002__HAVE_R_0021_0003__SEEN] :
      ( r_0021_0001__You(R_0021_0001__YOU)
      & r_0021_0004__this_r_0021_0005__announcement(R_0021_0004__THIS_R_0021_0005__ANNOUNCEMENT)
      & r_0021_0007__Leisure(R_0021_0007__LEISURE)
      & r_0021_0009__Entertainment(R_0021_0009__ENTERTAINMENT)
      & r_0021_0002__have_r_0021_0003__seen(R_0021_0002__HAVE_R_0021_0003__SEEN)
      & has_r_0021_0006__in__nim(R_0021_0002__HAVE_R_0021_0003__SEEN,R_0021_0010__MAGAZINE)
      & r_0021_0010__magazine(R_0021_0010__MAGAZINE)
      & has_nim(R_0021_0010__MAGAZINE,R_0021_0008__AND)
      & r_0021_0008__and(R_0021_0008__AND)
      & has_conj2(R_0021_0008__AND,R_0021_0009__ENTERTAINMENT)
      & has_conj1(R_0021_0008__AND,R_0021_0007__LEISURE)
      & has_arg1(R_0021_0002__HAVE_R_0021_0003__SEEN,R_0021_0004__THIS_R_0021_0005__ANNOUNCEMENT)
      & has_arg0(R_0021_0002__HAVE_R_0021_0003__SEEN,R_0021_0001__YOU) ) ).