TSPC 6_a_fce_0101_2001

6_a_fce_0101_2001_06
Then write a letter to the editor of the newspaper, correcting all the errors in the article.

( (IP-IMP (ADVP-NIM (ADV Then;{then}))
          (VB;_Dn.pr_ write;{write[to]})
          (NP-OB1 (D a;{a})
                  (N letter;{letter})
                  (IP-PPL *ICH*-130))
          (PP-OB2 (P-ROLE to;{to})
                  (NP (D the;{the})
                      (N editor;{editor})
                      (PP (P-ROLE of;{of})
                          (NP (D the;{the})
                              (N newspaper;{newspaper})))))
          (PUNC ,)
          (IP-PPL-EPD-130 (VAG;_Tn_ correcting;{correct})
                          (NP-OB1 (Q;_nphd_ all;{all})
                                  (NLYR (D the;{the})
                                        (NS errors;{error})
                                        (PP (P-ROLE in;{in})
                                            (NP (D the;{the})
                                                (N article;{article}))))))
          (PUNC .))
  (ID 6_a_fce_0101_2001_06))

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__editor,arg2).
arc(r_0006_0002__write_r_0006_0005__to,z_0006_5002,arg0).
arc(r_0006_0006__the_r_0006_0007__editor,r_0006_0009__the_r_0006_0010__newspaper,r_0006_0008__of).
arc(r_0006_0012__correcting,r_0006_0003__a_r_0006_0004__letter,inv_arg0).
arc(r_0006_0012__correcting,z_0006_5008,arg1).
arc(r_0006_0013__all__quant,r_0006_0012__correcting,scope).
arc(r_0006_0013__all__quant,z_0006_5008,restriction).
arc(r_0006_0014__the_r_0006_0015__errors,r_0006_0017__the_r_0006_0018__article,r_0006_0016__in).
arc(z_0006_5008,r_0006_0014__the_r_0006_0015__errors,nim).

fof(formula,axiom,
    ? [R_0006_0001__THEN,R_0006_0017__THE_R_0006_0018__ARTICLE,R_0006_0014__THE_R_0006_0015__ERRORS,Z_0006_5008,R_0006_0012__CORRECTING,R_0006_0003__A_R_0006_0004__LETTER,R_0006_0009__THE_R_0006_0010__NEWSPAPER,R_0006_0006__THE_R_0006_0007__EDITOR,Z_0006_5002,R_0006_0002__WRITE_R_0006_0005__TO] :
      ( r_0006_0001__Then(R_0006_0001__THEN)
      & r_0006_0009__the_r_0006_0010__newspaper(R_0006_0009__THE_R_0006_0010__NEWSPAPER)
      & r_0006_0017__the_r_0006_0018__article(R_0006_0017__THE_R_0006_0018__ARTICLE)
      & z_0006_5002(Z_0006_5002)
      & ( z_0006_5008(Z_0006_5008)
       => r_0006_0012__correcting(R_0006_0012__CORRECTING) )
      & 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__EDITOR)
      & r_0006_0006__the_r_0006_0007__editor(R_0006_0006__THE_R_0006_0007__EDITOR)
      & has_r_0006_0008__of(R_0006_0006__THE_R_0006_0007__EDITOR,R_0006_0009__THE_R_0006_0010__NEWSPAPER)
      & has_arg1(R_0006_0002__WRITE_R_0006_0005__TO,R_0006_0003__A_R_0006_0004__LETTER)
      & r_0006_0003__a_r_0006_0004__letter(R_0006_0003__A_R_0006_0004__LETTER)
      & has_inv_arg0(R_0006_0003__A_R_0006_0004__LETTER,R_0006_0012__CORRECTING)
      & r_0006_0012__correcting(R_0006_0012__CORRECTING)
      & has_arg1(R_0006_0012__CORRECTING,Z_0006_5008)
      & z_0006_5008(Z_0006_5008)
      & has_nim(Z_0006_5008,R_0006_0014__THE_R_0006_0015__ERRORS)
      & r_0006_0014__the_r_0006_0015__errors(R_0006_0014__THE_R_0006_0015__ERRORS)
      & has_r_0006_0016__in(R_0006_0014__THE_R_0006_0015__ERRORS,R_0006_0017__THE_R_0006_0018__ARTICLE)
      & has_nim(R_0006_0002__WRITE_R_0006_0005__TO,R_0006_0001__THEN) ) ).