( (IP-IMP (ADVP-NIM (ADV Then;{then}))
          (PUNC ,)
          (PP-SCON (IP-PPL (VAG;_Tn_ using;{use})
                           (NP-OB1 (Q all;{all})
                                   (NP-GEN (PRO;_genm_ your;{your}))
                                   (NS notes;{note}))))
          (PUNC ,)
          (VB;_Dn.pr_ write;{write[to]})
          (NP-OB1 (D a;{a})
                  (N letter;{letter}))
          (PP-OB2 (P-ROLE to;{to})
                  (NP (NP-GEN (PRO;_genm_ your;{your}))
                      (N friend;{friend})))
          (PP-SCON (IP-PPL2 (ILYR (ILYR (VAG;_Tn_ giving;{give})
                                        (NP-OB1 (D the;{the})
                                                (N information;{information})
                                                (IP-PPL (NP-LGS *)
                                                        (VVN;_Tn_ requested;{request}))))
                                  (CONJP (CONJ and;{and})
                                         (ILYR (VAG;_Tw_ saying;{say})
                                               (CP-QUE-OB1 (IP-SUB (WQ whether;{whether})
                                                                   (NP-SBJ (PRO you;{you}))
                                                                   (MD;_cat_Vi_ would;{will})
                                                                   (IP-INF-CAT (VB;_Tn_ recommend;{recommend})
                                                                               (NP-OB1 (D the;{the})
                                                                                       (N trip;{trip}))))))))))
          (PUNC .))
  (ID 5_a_fce_0102_2001_12))

arc(r_0005_0003__using,r_0005_0006__notes,arg1).
arc(r_0005_0003__using,r_0005_0013__friend,arg0).
arc(r_0005_0004__all__quant,r_0005_0003__using,scope).
arc(r_0005_0004__all__quant,r_0005_0006__notes,restriction).
arc(r_0005_0006__notes,r_0005_0005__your,gen).
arc(r_0005_0008__write_r_0005_0011__to,r_0005_0001__Then,nim).
arc(r_0005_0008__write_r_0005_0011__to,r_0005_0009__a_r_0005_0010__letter,arg1).
arc(r_0005_0008__write_r_0005_0011__to,r_0005_0013__friend,arg2).
arc(r_0005_0008__write_r_0005_0011__to,z_0005_5002,arg0).
arc(r_0005_0013__friend,r_0005_0012__your,gen).
arc(r_0005_0014__giving,r_0005_0015__the_r_0005_0016__information,arg1).
arc(r_0005_0014__giving,z_0005_5002,arg0).
arc(r_0005_0017__requested,r_0005_0015__the_r_0005_0016__information,inv_arg1).
arc(r_0005_0017__requested,z_0005_5009___star_,arg0).
arc(r_0005_0018__and,r_0005_0014__giving,conj1).
arc(r_0005_0018__and,r_0005_0019__saying,conj2).
arc(r_0005_0019__saying,r_0005_0020__whether,arg1).
arc(r_0005_0019__saying,z_0005_5002,arg0).
arc(r_0005_0020__whether,r_0005_0022__would,keep_scope).
arc(r_0005_0022__would,r_0005_0023__recommend,scope).
arc(r_0005_0023__recommend,r_0005_0005__your,arg0).
arc(r_0005_0023__recommend,r_0005_0024__the_r_0005_0025__trip,arg1).
arc(z_0005_5006,r_0005_0018__and,restriction).
arc(z_0005_5006,z_0005_5021,scope).
arc(z_0005_5021,r_0005_0004__all__quant,restriction).
arc(z_0005_5021,r_0005_0008__write_r_0005_0011__to,scope).

fof(formula,axiom,
    ? [Z_0005_5009___STAR_,R_0005_0017__REQUESTED,R_0005_0015__THE_R_0005_0016__INFORMATION,Z_0005_5002,R_0005_0014__GIVING,R_0005_0005__YOUR,R_0005_0024__THE_R_0005_0025__TRIP,R_0005_0022__WOULD_R_0005_0023__RECOMMEND,R_0005_0020__WHETHER,R_0005_0019__SAYING,R_0005_0018__AND,R_0005_0001__THEN,R_0005_0009__A_R_0005_0010__LETTER,R_0005_0012__YOUR,R_0005_0013__FRIEND,R_0005_0008__WRITE_R_0005_0011__TO,Z_0005_5021,Z_0005_5006] :
      ( r_0005_0001__Then(R_0005_0001__THEN)
      & r_0005_0005__your(R_0005_0005__YOUR)
      & r_0005_0009__a_r_0005_0010__letter(R_0005_0009__A_R_0005_0010__LETTER)
      & r_0005_0012__your(R_0005_0012__YOUR)
      & r_0005_0024__the_r_0005_0025__trip(R_0005_0024__THE_R_0005_0025__TRIP)
      & z_0005_5002(Z_0005_5002)
      & z_0005_5009___star_(Z_0005_5009___STAR_)
      & z_0005_5006(Z_0005_5006)
      & has_conj2(Z_0005_5006,Z_0005_5021)
      & z_0005_5021(Z_0005_5021)
      & has_conj2(Z_0005_5021,R_0005_0008__WRITE_R_0005_0011__TO)
      & r_0005_0008__write_r_0005_0011__to(R_0005_0008__WRITE_R_0005_0011__TO)
      & has_arg0(R_0005_0008__WRITE_R_0005_0011__TO,Z_0005_5002)
      & has_arg2(R_0005_0008__WRITE_R_0005_0011__TO,R_0005_0013__FRIEND)
      & r_0005_0013__friend(R_0005_0013__FRIEND)
      & has_gen(R_0005_0013__FRIEND,R_0005_0012__YOUR)
      & has_arg1(R_0005_0008__WRITE_R_0005_0011__TO,R_0005_0009__A_R_0005_0010__LETTER)
      & has_nim(R_0005_0008__WRITE_R_0005_0011__TO,R_0005_0001__THEN)
      & ! [R_0005_0006__NOTES] :
          ( ~ has_gen(R_0005_0006__NOTES,R_0005_0005__YOUR)
         => ? [R_0005_0003__USING] :
              ( r_0005_0003__using(R_0005_0003__USING)
              & has_arg0(R_0005_0003__USING,R_0005_0013__FRIEND)
              & has_arg1(R_0005_0003__USING,R_0005_0006__NOTES) ) )
      & has_conj1(Z_0005_5006,R_0005_0018__AND)
      & r_0005_0018__and(R_0005_0018__AND)
      & has_conj2(R_0005_0018__AND,R_0005_0019__SAYING)
      & r_0005_0019__saying(R_0005_0019__SAYING)
      & has_arg0(R_0005_0019__SAYING,Z_0005_5002)
      & has_arg1(R_0005_0019__SAYING,R_0005_0020__WHETHER)
      & r_0005_0020__whether(R_0005_0020__WHETHER)
      & has_keep_scope(R_0005_0020__WHETHER,R_0005_0022__WOULD_R_0005_0023__RECOMMEND)
      & r_0005_0022__would_r_0005_0023__recommend(R_0005_0022__WOULD_R_0005_0023__RECOMMEND)
      & has_arg1(R_0005_0022__WOULD_R_0005_0023__RECOMMEND,R_0005_0024__THE_R_0005_0025__TRIP)
      & has_arg0(R_0005_0022__WOULD_R_0005_0023__RECOMMEND,R_0005_0005__YOUR)
      & has_conj1(R_0005_0018__AND,R_0005_0014__GIVING)
      & r_0005_0014__giving(R_0005_0014__GIVING)
      & has_arg0(R_0005_0014__GIVING,Z_0005_5002)
      & has_arg1(R_0005_0014__GIVING,R_0005_0015__THE_R_0005_0016__INFORMATION)
      & r_0005_0015__the_r_0005_0016__information(R_0005_0015__THE_R_0005_0016__INFORMATION)
      & has_inv_arg1(R_0005_0015__THE_R_0005_0016__INFORMATION,R_0005_0017__REQUESTED)
      & r_0005_0017__requested(R_0005_0017__REQUESTED)
      & has_arg0(R_0005_0017__REQUESTED,Z_0005_5009___STAR_) ) ).