( (IP-IMP (ADVP-NIM (ADV Then;{then}))
          (PUNC ,)
          (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 manager;{manager})
                      (PP (P-ROLE of;{of})
                          (NP (D the;{the})
                              (N theatre;{theatre})))))
          (PUNC ,)
          (PP-SCON (IP-PPL2 (ILYR (ILYR (VAG;_Tw_ explaining;{explain})
                                        (CP-QUE-OB1 (IP-SUB (NP-PRD (WPRO what;{what}))
                                                            (NP-SBJ (D the;{the})
                                                                    (NS problems;{problem}))
                                                            (BED;_Ln_ were;{be}))))
                                  (CONJP (CONJ and;{and})
                                         (ILYR (VAG;_Ipr_ asking;{ask[for]})
                                               (PP-CLR (P-ROLE for;{for})
                                                       (NP (D some;{some})
                                                           (N money;{money})
                                                           (ADVP (ADV back;{back})))))))))
          (PUNC .))
  (ID 6_a_fce_0102_2000_06))

arc(r_0006_0003__write_r_0006_0006__to,r_0006_0001__Then,nim).
arc(r_0006_0003__write_r_0006_0006__to,r_0006_0004__a_r_0006_0005__letter,arg1).
arc(r_0006_0003__write_r_0006_0006__to,r_0006_0007__the_r_0006_0008__manager,arg2).
arc(r_0006_0003__write_r_0006_0006__to,z_0006_5002,arg0).
arc(r_0006_0007__the_r_0006_0008__manager,r_0006_0010__the_r_0006_0011__theatre,r_0006_0009__of).
arc(r_0006_0013__explaining,r_0006_0017__were,arg1).
arc(r_0006_0013__explaining,z_0006_5002,arg0).
arc(r_0006_0017__were,r_0006_0014__what,prd).
arc(r_0006_0017__were,r_0006_0015__the_r_0006_0016__problems,arg0).
arc(r_0006_0018__and,r_0006_0013__explaining,conj1).
arc(r_0006_0018__and,r_0006_0019__asking_r_0006_0020__for,conj2).
arc(r_0006_0019__asking_r_0006_0020__for,r_0006_0021__some_r_0006_0022__money,arg1).
arc(r_0006_0019__asking_r_0006_0020__for,z_0006_5002,arg0).
arc(r_0006_0021__some_r_0006_0022__money,r_0006_0023__back,qual).
arc(z_0006_5006,r_0006_0003__write_r_0006_0006__to,scope).
arc(z_0006_5006,r_0006_0018__and,restriction).

fof(formula,axiom,
    ? [R_0006_0001__THEN,R_0006_0004__A_R_0006_0005__LETTER,R_0006_0010__THE_R_0006_0011__THEATRE,R_0006_0007__THE_R_0006_0008__MANAGER,Z_0006_5002,R_0006_0003__WRITE_R_0006_0006__TO,R_0006_0014__WHAT,R_0006_0015__THE_R_0006_0016__PROBLEMS,R_0006_0017__WERE,R_0006_0013__EXPLAINING,R_0006_0023__BACK,R_0006_0021__SOME_R_0006_0022__MONEY,R_0006_0019__ASKING_R_0006_0020__FOR,R_0006_0018__AND,Z_0006_5006] :
      ( r_0006_0001__Then(R_0006_0001__THEN)
      & r_0006_0004__a_r_0006_0005__letter(R_0006_0004__A_R_0006_0005__LETTER)
      & r_0006_0010__the_r_0006_0011__theatre(R_0006_0010__THE_R_0006_0011__THEATRE)
      & r_0006_0014__what(R_0006_0014__WHAT)
      & r_0006_0015__the_r_0006_0016__problems(R_0006_0015__THE_R_0006_0016__PROBLEMS)
      & r_0006_0023__back(R_0006_0023__BACK)
      & z_0006_5002(Z_0006_5002)
      & z_0006_5006(Z_0006_5006)
      & has_conj1(Z_0006_5006,R_0006_0018__AND)
      & r_0006_0018__and(R_0006_0018__AND)
      & has_conj2(R_0006_0018__AND,R_0006_0019__ASKING_R_0006_0020__FOR)
      & r_0006_0019__asking_r_0006_0020__for(R_0006_0019__ASKING_R_0006_0020__FOR)
      & has_arg0(R_0006_0019__ASKING_R_0006_0020__FOR,Z_0006_5002)
      & has_arg1(R_0006_0019__ASKING_R_0006_0020__FOR,R_0006_0021__SOME_R_0006_0022__MONEY)
      & r_0006_0021__some_r_0006_0022__money(R_0006_0021__SOME_R_0006_0022__MONEY)
      & has_qual(R_0006_0021__SOME_R_0006_0022__MONEY,R_0006_0023__BACK)
      & has_conj1(R_0006_0018__AND,R_0006_0013__EXPLAINING)
      & r_0006_0013__explaining(R_0006_0013__EXPLAINING)
      & has_arg0(R_0006_0013__EXPLAINING,Z_0006_5002)
      & has_arg1(R_0006_0013__EXPLAINING,R_0006_0017__WERE)
      & r_0006_0017__were(R_0006_0017__WERE)
      & has_arg0(R_0006_0017__WERE,R_0006_0015__THE_R_0006_0016__PROBLEMS)
      & has_prd(R_0006_0017__WERE,R_0006_0014__WHAT)
      & has_conj2(Z_0006_5006,R_0006_0003__WRITE_R_0006_0006__TO)
      & r_0006_0003__write_r_0006_0006__to(R_0006_0003__WRITE_R_0006_0006__TO)
      & has_arg0(R_0006_0003__WRITE_R_0006_0006__TO,Z_0006_5002)
      & has_arg2(R_0006_0003__WRITE_R_0006_0006__TO,R_0006_0007__THE_R_0006_0008__MANAGER)
      & r_0006_0007__the_r_0006_0008__manager(R_0006_0007__THE_R_0006_0008__MANAGER)
      & has_r_0006_0009__of(R_0006_0007__THE_R_0006_0008__MANAGER,R_0006_0010__THE_R_0006_0011__THEATRE)
      & has_arg1(R_0006_0003__WRITE_R_0006_0006__TO,R_0006_0004__A_R_0006_0005__LETTER)
      & has_nim(R_0006_0003__WRITE_R_0006_0006__TO,R_0006_0001__THEN) ) ).