Context                Previous, Next                Top


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

%3 r_0006_0002__write write r_0006_0001__Then Then r_0006_0002__write->r_0006_0001__Then [nim] r_0006_0003__a_r_0006_0004__letter a letter r_0006_0002__write->r_0006_0003__a_r_0006_0004__letter [arg1] r_0006_0006__the_r_0006_0007__editor the editor r_0006_0002__write->r_0006_0006__the_r_0006_0007__editor [arg2] z_000_6_a_fce_0101_2001_06_1 r_0006_0002__write->z_000_6_a_fce_0101_2001_06_1 [arg0] r_0006_0009__the_r_0006_0010__newspaper the newspaper r_0006_0006__the_r_0006_0007__editor->r_0006_0009__the_r_0006_0010__newspaper of r_0006_0012__correcting correcting r_0006_0012__correcting->r_0006_0003__a_r_0006_0004__letter [arg0] r_0006_0014__the_r_0006_0015__errors the errors r_0006_0012__correcting->r_0006_0014__the_r_0006_0015__errors [arg1] r_0006_0017__the_r_0006_0018__article the article r_0006_0014__the_r_0006_0015__errors->r_0006_0017__the_r_0006_0018__article in r_0006_0013__all_quant all [quant] r_0006_0013__all_quant->r_0006_0012__correcting [scope] r_0006_0013__all_quant->r_0006_0014__the_r_0006_0015__errors [restriction] 
arc(r_0006_0002__write, r_0006_0001__Then, nim2).
arc(r_0006_0002__write, r_0006_0003__a_r_0006_0004__letter, arg1).
arc(r_0006_0002__write, r_0006_0006__the_r_0006_0007__editor, arg2).
arc(r_0006_0002__write, z_000_6_a_fce_0101_2001_06_1, 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, arg0).
arc(r_0006_0012__correcting, r_0006_0014__the_r_0006_0015__errors, arg1).
arc(r_0006_0013__all_quant, r_0006_0012__correcting, scope).
arc(r_0006_0013__all_quant, r_0006_0014__the_r_0006_0015__errors, restriction).
arc(r_0006_0014__the_r_0006_0015__errors, r_0006_0017__the_r_0006_0018__article, r_0006_0016__in).


%3 r_0006_0014__the_r_0006_0015__errors the errors r_0006_0017__the_r_0006_0018__article the article r_0006_0014__the_r_0006_0015__errors->r_0006_0017__the_r_0006_0018__article in r_0006_0013__all_quant all [quant] r_0006_0013__all_quant->r_0006_0014__the_r_0006_0015__errors [restriction] r_0006_0012__correcting correcting r_0006_0013__all_quant->r_0006_0012__correcting [scope] r_0006_0012__correcting->r_0006_0014__the_r_0006_0015__errors [arg1] r_0006_0003__a_r_0006_0004__letter a letter r_0006_0012__correcting->r_0006_0003__a_r_0006_0004__letter [arg0] r_0006_0006__the_r_0006_0007__editor the editor r_0006_0009__the_r_0006_0010__newspaper the newspaper r_0006_0006__the_r_0006_0007__editor->r_0006_0009__the_r_0006_0010__newspaper of r_0006_0002__write write r_0006_0002__write->r_0006_0003__a_r_0006_0004__letter [arg1] r_0006_0002__write->r_0006_0006__the_r_0006_0007__editor [arg2] z_000_6_a_fce_0101_2001_06_1 r_0006_0002__write->z_000_6_a_fce_0101_2001_06_1 [arg0] r_0006_0001__Then Then r_0006_0002__write->r_0006_0001__Then [nim] 
fof(formula,axiom,
    ? [R_6_2_WRITE,Z_6_A_FCE_101_2001_6_1,R_6_3_A_LETTER,R_6_6_THE_EDITOR,R_6_9_THE_NEWSPAPER,R_6_1_THEN] :
      ( a_letter(R_6_3_A_LETTER)
      & the_newspaper(R_6_9_THE_NEWSPAPER)
      & then(R_6_1_THEN)
      & write(R_6_2_WRITE,Z_6_A_FCE_101_2001_6_1,R_6_3_A_LETTER,R_6_6_THE_EDITOR)
      & the_editor(R_6_6_THE_EDITOR)
      & of(R_6_6_THE_EDITOR,R_6_9_THE_NEWSPAPER)
      & nim2(R_6_2_WRITE,R_6_1_THEN)
      & ! [R_6_14_THE_ERRORS,R_6_17_THE_ARTICLE] :
          ( ( the_article(R_6_17_THE_ARTICLE)
            & the_errors(R_6_14_THE_ERRORS)
            & in(R_6_14_THE_ERRORS,R_6_17_THE_ARTICLE) )
         => ? [R_6_12_CORRECTING] : correcting(R_6_12_CORRECTING,R_6_3_A_LETTER,R_6_14_THE_ERRORS) ) ) ).


n6_a_fce_0101_2001_06 n6_a_fce_0101_2001_06__1_1_1_1 Then n6_a_fce_0101_2001_06__1_2_1 write n6_a_fce_0101_2001_06__1_3_1_1 a n6_a_fce_0101_2001_06__1_3_2_1 letter n6_a_fce_0101_2001_06__1_3_3_1 *ICH*-130 n6_a_fce_0101_2001_06__1_4_1_1 to n6_a_fce_0101_2001_06__1_4_2_1_1 the n6_a_fce_0101_2001_06__1_4_2_2_1 editor n6_a_fce_0101_2001_06__1_4_2_3_1_1 of n6_a_fce_0101_2001_06__1_4_2_3_2_1_1 the n6_a_fce_0101_2001_06__1_4_2_3_2_2_1 newspaper n6_a_fce_0101_2001_06__1_5_1 , n6_a_fce_0101_2001_06__1_6_1_1 correcting n6_a_fce_0101_2001_06__1_6_2_1_1 all n6_a_fce_0101_2001_06__1_6_2_2_1 the n6_a_fce_0101_2001_06__1_6_2_3_1 errors n6_a_fce_0101_2001_06__1_6_2_4_1_1 in n6_a_fce_0101_2001_06__1_6_2_4_2_1_1 the n6_a_fce_0101_2001_06__1_6_2_4_2_2_1 article n6_a_fce_0101_2001_06__1_7_1 . n6_a_fce_0101_2001_06__1 IP-IMP n6_a_fce_0101_2001_06__1_1 ADVP-NIM n6_a_fce_0101_2001_06__1->n6_a_fce_0101_2001_06__1_1 n6_a_fce_0101_2001_06__1_2 VB;_Dn.pr_ n6_a_fce_0101_2001_06__1->n6_a_fce_0101_2001_06__1_2 n6_a_fce_0101_2001_06__1_3 NP-OB1 n6_a_fce_0101_2001_06__1->n6_a_fce_0101_2001_06__1_3 n6_a_fce_0101_2001_06__1_4 PP-OB2 n6_a_fce_0101_2001_06__1->n6_a_fce_0101_2001_06__1_4 n6_a_fce_0101_2001_06__1_5 PUNC n6_a_fce_0101_2001_06__1->n6_a_fce_0101_2001_06__1_5 n6_a_fce_0101_2001_06__1_6 IP-PPL-EPD-130 n6_a_fce_0101_2001_06__1->n6_a_fce_0101_2001_06__1_6 n6_a_fce_0101_2001_06__1_7 PUNC n6_a_fce_0101_2001_06__1->n6_a_fce_0101_2001_06__1_7 n6_a_fce_0101_2001_06__1_1_1 ADV n6_a_fce_0101_2001_06__1_1->n6_a_fce_0101_2001_06__1_1_1 n6_a_fce_0101_2001_06__1_1_1->n6_a_fce_0101_2001_06__1_1_1_1 n6_a_fce_0101_2001_06__1_2->n6_a_fce_0101_2001_06__1_2_1 n6_a_fce_0101_2001_06__1_3_1 D n6_a_fce_0101_2001_06__1_3->n6_a_fce_0101_2001_06__1_3_1 n6_a_fce_0101_2001_06__1_3_2 N n6_a_fce_0101_2001_06__1_3->n6_a_fce_0101_2001_06__1_3_2 n6_a_fce_0101_2001_06__1_3_3 IP-PPL n6_a_fce_0101_2001_06__1_3->n6_a_fce_0101_2001_06__1_3_3 n6_a_fce_0101_2001_06__1_3_1->n6_a_fce_0101_2001_06__1_3_1_1 n6_a_fce_0101_2001_06__1_3_2->n6_a_fce_0101_2001_06__1_3_2_1 n6_a_fce_0101_2001_06__1_3_3->n6_a_fce_0101_2001_06__1_3_3_1 n6_a_fce_0101_2001_06__1_4_1 P-ROLE n6_a_fce_0101_2001_06__1_4->n6_a_fce_0101_2001_06__1_4_1 n6_a_fce_0101_2001_06__1_4_2 NP n6_a_fce_0101_2001_06__1_4->n6_a_fce_0101_2001_06__1_4_2 n6_a_fce_0101_2001_06__1_4_1->n6_a_fce_0101_2001_06__1_4_1_1 n6_a_fce_0101_2001_06__1_4_2_1 D n6_a_fce_0101_2001_06__1_4_2->n6_a_fce_0101_2001_06__1_4_2_1 n6_a_fce_0101_2001_06__1_4_2_2 N n6_a_fce_0101_2001_06__1_4_2->n6_a_fce_0101_2001_06__1_4_2_2 n6_a_fce_0101_2001_06__1_4_2_3 PP n6_a_fce_0101_2001_06__1_4_2->n6_a_fce_0101_2001_06__1_4_2_3 n6_a_fce_0101_2001_06__1_4_2_1->n6_a_fce_0101_2001_06__1_4_2_1_1 n6_a_fce_0101_2001_06__1_4_2_2->n6_a_fce_0101_2001_06__1_4_2_2_1 n6_a_fce_0101_2001_06__1_4_2_3_1 P-ROLE n6_a_fce_0101_2001_06__1_4_2_3->n6_a_fce_0101_2001_06__1_4_2_3_1 n6_a_fce_0101_2001_06__1_4_2_3_2 NP n6_a_fce_0101_2001_06__1_4_2_3->n6_a_fce_0101_2001_06__1_4_2_3_2 n6_a_fce_0101_2001_06__1_4_2_3_1->n6_a_fce_0101_2001_06__1_4_2_3_1_1 n6_a_fce_0101_2001_06__1_4_2_3_2_1 D n6_a_fce_0101_2001_06__1_4_2_3_2->n6_a_fce_0101_2001_06__1_4_2_3_2_1 n6_a_fce_0101_2001_06__1_4_2_3_2_2 N n6_a_fce_0101_2001_06__1_4_2_3_2->n6_a_fce_0101_2001_06__1_4_2_3_2_2 n6_a_fce_0101_2001_06__1_4_2_3_2_1->n6_a_fce_0101_2001_06__1_4_2_3_2_1_1 n6_a_fce_0101_2001_06__1_4_2_3_2_2->n6_a_fce_0101_2001_06__1_4_2_3_2_2_1 n6_a_fce_0101_2001_06__1_5->n6_a_fce_0101_2001_06__1_5_1 n6_a_fce_0101_2001_06__1_6_1 VAG;_Tn_ n6_a_fce_0101_2001_06__1_6->n6_a_fce_0101_2001_06__1_6_1 n6_a_fce_0101_2001_06__1_6_2 NP-OB1 n6_a_fce_0101_2001_06__1_6->n6_a_fce_0101_2001_06__1_6_2 n6_a_fce_0101_2001_06__1_6_1->n6_a_fce_0101_2001_06__1_6_1_1 n6_a_fce_0101_2001_06__1_6_2_1 Q;_nphd_ n6_a_fce_0101_2001_06__1_6_2->n6_a_fce_0101_2001_06__1_6_2_1 n6_a_fce_0101_2001_06__1_6_2_2 D n6_a_fce_0101_2001_06__1_6_2->n6_a_fce_0101_2001_06__1_6_2_2 n6_a_fce_0101_2001_06__1_6_2_3 NS n6_a_fce_0101_2001_06__1_6_2->n6_a_fce_0101_2001_06__1_6_2_3 n6_a_fce_0101_2001_06__1_6_2_4 PP n6_a_fce_0101_2001_06__1_6_2->n6_a_fce_0101_2001_06__1_6_2_4 n6_a_fce_0101_2001_06__1_6_2_1->n6_a_fce_0101_2001_06__1_6_2_1_1 n6_a_fce_0101_2001_06__1_6_2_2->n6_a_fce_0101_2001_06__1_6_2_2_1 n6_a_fce_0101_2001_06__1_6_2_3->n6_a_fce_0101_2001_06__1_6_2_3_1 n6_a_fce_0101_2001_06__1_6_2_4_1 P-ROLE n6_a_fce_0101_2001_06__1_6_2_4->n6_a_fce_0101_2001_06__1_6_2_4_1 n6_a_fce_0101_2001_06__1_6_2_4_2 NP n6_a_fce_0101_2001_06__1_6_2_4->n6_a_fce_0101_2001_06__1_6_2_4_2 n6_a_fce_0101_2001_06__1_6_2_4_1->n6_a_fce_0101_2001_06__1_6_2_4_1_1 n6_a_fce_0101_2001_06__1_6_2_4_2_1 D n6_a_fce_0101_2001_06__1_6_2_4_2->n6_a_fce_0101_2001_06__1_6_2_4_2_1 n6_a_fce_0101_2001_06__1_6_2_4_2_2 N n6_a_fce_0101_2001_06__1_6_2_4_2->n6_a_fce_0101_2001_06__1_6_2_4_2_2 n6_a_fce_0101_2001_06__1_6_2_4_2_1->n6_a_fce_0101_2001_06__1_6_2_4_2_1_1 n6_a_fce_0101_2001_06__1_6_2_4_2_2->n6_a_fce_0101_2001_06__1_6_2_4_2_2_1 n6_a_fce_0101_2001_06__1_7->n6_a_fce_0101_2001_06__1_7_1 
( (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})
                                  (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))