( (IP-MAT (NP-SBJ (PRO You;{you}))
          (ILYR (ILYR (HVP;_cat_Ve_ have;{have})
                      (IP-PPL-CAT (VVN;_Tn_ seen;{see})
                                  (NP-OB1 (D this;{this})
                                          (N advertisement;{advertisement}))
                                  (PP-NIM (P-ROLE in;{in})
                                          (NP (D The;{the})
                                              (NPR Traveller;{Traveller})
                                              (N magazine;{magazine})))))
                (CONJP (CONJ and;{and})
                       (ILYR (HVP;_cat_Ve_ have;{have})
                             (IP-PPL-CAT (VVN;_Tt_ decided;{decide})
                                         (IP-INF-OB1 (TO to;{to})
                                                     (VB;_I_ apply;{apply}))))))
          (PUNC .))
  (ID 22_a_fce_0102_2001_03))

arc(r_0022_0002__have,r_0022_0003__seen,scope).
arc(r_0022_0003__seen,r_0022_0001__You,arg0).
arc(r_0022_0003__seen,r_0022_0004__this_r_0022_0005__advertisement,arg1).
arc(r_0022_0003__seen,r_0022_0007__The_r_0022_0008__Traveller_r_0022_0009__magazine,r_0022_0006__in__nim).
arc(r_0022_0010__and,r_0022_0002__have,conj1).
arc(r_0022_0010__and,r_0022_0011__have,conj2).
arc(r_0022_0011__have,r_0022_0012__decided,scope).
arc(r_0022_0012__decided,r_0022_0001__You,arg0).
arc(r_0022_0012__decided,r_0022_0014__apply,arg1).
arc(r_0022_0014__apply,r_0022_0001__You,arg0).

fof(formula,axiom,
    ? [R_0022_0001__YOU,R_0022_0004__THIS_R_0022_0005__ADVERTISEMENT,R_0022_0007__THE_R_0022_0008__TRAVELLER_R_0022_0009__MAGAZINE,R_0022_0002__HAVE_R_0022_0003__SEEN,R_0022_0014__APPLY,R_0022_0011__HAVE_R_0022_0012__DECIDED,R_0022_0010__AND] :
      ( r_0022_0001__You(R_0022_0001__YOU)
      & r_0022_0004__this_r_0022_0005__advertisement(R_0022_0004__THIS_R_0022_0005__ADVERTISEMENT)
      & r_0022_0007__The_r_0022_0008__Traveller_r_0022_0009__magazine(R_0022_0007__THE_R_0022_0008__TRAVELLER_R_0022_0009__MAGAZINE)
      & r_0022_0010__and(R_0022_0010__AND)
      & has_conj2(R_0022_0010__AND,R_0022_0011__HAVE_R_0022_0012__DECIDED)
      & r_0022_0011__have_r_0022_0012__decided(R_0022_0011__HAVE_R_0022_0012__DECIDED)
      & has_arg1(R_0022_0011__HAVE_R_0022_0012__DECIDED,R_0022_0014__APPLY)
      & r_0022_0014__apply(R_0022_0014__APPLY)
      & has_arg0(R_0022_0014__APPLY,R_0022_0001__YOU)
      & has_arg0(R_0022_0011__HAVE_R_0022_0012__DECIDED,R_0022_0001__YOU)
      & has_conj1(R_0022_0010__AND,R_0022_0002__HAVE_R_0022_0003__SEEN)
      & r_0022_0002__have_r_0022_0003__seen(R_0022_0002__HAVE_R_0022_0003__SEEN)
      & has_r_0022_0006__in__nim(R_0022_0002__HAVE_R_0022_0003__SEEN,R_0022_0007__THE_R_0022_0008__TRAVELLER_R_0022_0009__MAGAZINE)
      & has_arg1(R_0022_0002__HAVE_R_0022_0003__SEEN,R_0022_0004__THIS_R_0022_0005__ADVERTISEMENT)
      & has_arg0(R_0022_0002__HAVE_R_0022_0003__SEEN,R_0022_0001__YOU) ) ).