( (IP-IMP (ADVP-NIM (ADV Then;{then}))
          (VB;_Dn.pr_ write;{write[to]})
          (NP-OB1 (D a;{a})
                  (N letter;{letter}))
          (PP-OB2 (P-ROLE to;{to})
                  (NP (D the;{the})
                      (N organiser;{organiser})
                      (PUNC ,)
                      (PRN (NP (NPR Jane;{Jane})
                               (NPR Clark;{Clark})))))
          (PUNC ,)
          (PP-SCON (IP-PPL2 (ILYR (ILYR (VAG;_Tn_ giving;{give})
                                        (NP-OB1 (NP-GEN (PRO;_genm_ your;{your}))
                                                (NS opinions;{opinion})))
                                  (CONJP (CONJ and;{and})
                                         (ILYR (VAG;_Tn_ making;{make})
                                               (NP-OB1 (ADVP (ADV at_least;{at_least}))
                                                       (NUM one;{one})
                                                       (N suggestion;{suggestion})
                                                       (PP (P-ROLE for;{for})
                                                           (NP (NP-GEN (ADJP (ADJ next;{next}))
                                                                       (N year;{year})
                                                                       (GENM <apos>s))
                                                               (N festival;{festival})))))))))
          (PUNC .))
  (ID 6_a_fce_0102_2000_12))

arc(r_0006_0002__write_r_0006_0005__to,r_0006_0001__Then,nim).
arc(r_0006_0002__write_r_0006_0005__to,r_0006_0003__a_r_0006_0004__letter,arg1).
arc(r_0006_0002__write_r_0006_0005__to,r_0006_0006__the_r_0006_0007__organiser,arg2).
arc(r_0006_0002__write_r_0006_0005__to,z_0006_5002,arg0).
arc(r_0006_0012__giving,r_0006_0014__opinions,arg1).
arc(r_0006_0012__giving,z_0006_5002,arg0).
arc(r_0006_0014__opinions,r_0006_0013__your,gen).
arc(r_0006_0015__and,r_0006_0012__giving,conj1).
arc(r_0006_0015__and,r_0006_0016__making,conj2).
arc(r_0006_0016__making,r_0006_0018__one_r_0006_0019__suggestion,arg1).
arc(r_0006_0016__making,z_0006_5002,arg0).
arc(r_0006_0018__one_r_0006_0019__suggestion,r_0006_0017__at_least,qual).
arc(r_0006_0018__one_r_0006_0019__suggestion,r_0006_0024__festival,r_0006_0020__for).
arc(r_0006_0022__year,r_0006_0021__next,attrib).
arc(r_0006_0024__festival,r_0006_0022__year,gen).
arc(z_0006_5005,r_0006_0006__the_r_0006_0007__organiser,arg0).
arc(z_0006_5005,r_0006_0009__Jane_r_0006_0010__Clark,prd).
arc(z_0006_5007,r_0006_0002__write_r_0006_0005__to,scope).
arc(z_0006_5007,r_0006_0015__and,restriction).

fof(formula,axiom,
    ? [R_0006_0006__THE_R_0006_0007__ORGANISER,R_0006_0009__JANE_R_0006_0010__CLARK,Z_0006_5005,R_0006_0001__THEN,R_0006_0003__A_R_0006_0004__LETTER,Z_0006_5002,R_0006_0002__WRITE_R_0006_0005__TO,R_0006_0013__YOUR,R_0006_0014__OPINIONS,R_0006_0012__GIVING,R_0006_0017__AT_LEAST,R_0006_0021__NEXT,R_0006_0022__YEAR,R_0006_0024__FESTIVAL,R_0006_0018__ONE_R_0006_0019__SUGGESTION,R_0006_0016__MAKING,R_0006_0015__AND,Z_0006_5007] :
      ( r_0006_0001__Then(R_0006_0001__THEN)
      & r_0006_0003__a_r_0006_0004__letter(R_0006_0003__A_R_0006_0004__LETTER)
      & r_0006_0006__the_r_0006_0007__organiser(R_0006_0006__THE_R_0006_0007__ORGANISER)
      & r_0006_0009__Jane_r_0006_0010__Clark(R_0006_0009__JANE_R_0006_0010__CLARK)
      & r_0006_0013__your(R_0006_0013__YOUR)
      & r_0006_0017__at_least(R_0006_0017__AT_LEAST)
      & r_0006_0021__next(R_0006_0021__NEXT)
      & z_0006_5002(Z_0006_5002)
      & z_0006_5007(Z_0006_5007)
      & has_conj1(Z_0006_5007,R_0006_0015__AND)
      & r_0006_0015__and(R_0006_0015__AND)
      & has_conj2(R_0006_0015__AND,R_0006_0016__MAKING)
      & r_0006_0016__making(R_0006_0016__MAKING)
      & has_arg0(R_0006_0016__MAKING,Z_0006_5002)
      & has_arg1(R_0006_0016__MAKING,R_0006_0018__ONE_R_0006_0019__SUGGESTION)
      & r_0006_0018__one_r_0006_0019__suggestion(R_0006_0018__ONE_R_0006_0019__SUGGESTION)
      & has_r_0006_0020__for(R_0006_0018__ONE_R_0006_0019__SUGGESTION,R_0006_0024__FESTIVAL)
      & r_0006_0024__festival(R_0006_0024__FESTIVAL)
      & has_gen(R_0006_0024__FESTIVAL,R_0006_0022__YEAR)
      & r_0006_0022__year(R_0006_0022__YEAR)
      & has_attrib(R_0006_0022__YEAR,R_0006_0021__NEXT)
      & has_qual(R_0006_0018__ONE_R_0006_0019__SUGGESTION,R_0006_0017__AT_LEAST)
      & has_conj1(R_0006_0015__AND,R_0006_0012__GIVING)
      & r_0006_0012__giving(R_0006_0012__GIVING)
      & has_arg0(R_0006_0012__GIVING,Z_0006_5002)
      & has_arg1(R_0006_0012__GIVING,R_0006_0014__OPINIONS)
      & r_0006_0014__opinions(R_0006_0014__OPINIONS)
      & has_gen(R_0006_0014__OPINIONS,R_0006_0013__YOUR)
      & has_conj2(Z_0006_5007,R_0006_0002__WRITE_R_0006_0005__TO)
      & r_0006_0002__write_r_0006_0005__to(R_0006_0002__WRITE_R_0006_0005__TO)
      & has_arg0(R_0006_0002__WRITE_R_0006_0005__TO,Z_0006_5002)
      & has_arg2(R_0006_0002__WRITE_R_0006_0005__TO,R_0006_0006__THE_R_0006_0007__ORGANISER)
      & has_arg1(R_0006_0002__WRITE_R_0006_0005__TO,R_0006_0003__A_R_0006_0004__LETTER)
      & has_nim(R_0006_0002__WRITE_R_0006_0005__TO,R_0006_0001__THEN)
      & z_0006_5005(Z_0006_5005)
      & has_prd(Z_0006_5005,R_0006_0009__JANE_R_0006_0010__CLARK)
      & has_arg0(Z_0006_5005,R_0006_0006__THE_R_0006_0007__ORGANISER) ) ).