Context                Previous, Next                Top


8_a_fce_0100_2000_12
Then, using the information, write a letter to Mr Robertson.

%3 r_0008_0003__using using r_0008_0004__the_r_0008_0005__information the information r_0008_0003__using->r_0008_0004__the_r_0008_0005__information [arg1] z_000_8_a_fce_0100_2000_12_1 r_0008_0003__using->z_000_8_a_fce_0100_2000_12_1 [arg0] r_0008_0007__write write r_0008_0007__write->z_000_8_a_fce_0100_2000_12_1 [arg0] r_0008_0001__Then Then r_0008_0007__write->r_0008_0001__Then [nim] r_0008_0008__a_r_0008_0009__letter a letter r_0008_0007__write->r_0008_0008__a_r_0008_0009__letter [arg1] r_0008_0011__Mr_r_0008_0012__Robertson Mr Robertson r_0008_0007__write->r_0008_0011__Mr_r_0008_0012__Robertson [arg2] z_000_8_a_fce_0100_2000_12_7 z_000_8_a_fce_0100_2000_12_7->r_0008_0003__using [restriction] z_000_8_a_fce_0100_2000_12_7->r_0008_0007__write [scope] 
arc(r_0008_0003__using, r_0008_0004__the_r_0008_0005__information, arg1).
arc(r_0008_0003__using, z_000_8_a_fce_0100_2000_12_1, arg0).
arc(r_0008_0007__write, r_0008_0001__Then, nim2).
arc(r_0008_0007__write, r_0008_0008__a_r_0008_0009__letter, arg1).
arc(r_0008_0007__write, r_0008_0011__Mr_r_0008_0012__Robertson, arg2).
arc(r_0008_0007__write, z_000_8_a_fce_0100_2000_12_1, arg0).
arc(z_000_8_a_fce_0100_2000_12_7, r_0008_0003__using, restriction).
arc(z_000_8_a_fce_0100_2000_12_7, r_0008_0007__write, scope).


%3 z_000_8_a_fce_0100_2000_12_7 r_0008_0007__write write z_000_8_a_fce_0100_2000_12_7->r_0008_0007__write [conj2] r_0008_0003__using using z_000_8_a_fce_0100_2000_12_7->r_0008_0003__using [conj1] z_000_8_a_fce_0100_2000_12_1 r_0008_0007__write->z_000_8_a_fce_0100_2000_12_1 [arg0] r_0008_0011__Mr_r_0008_0012__Robertson Mr Robertson r_0008_0007__write->r_0008_0011__Mr_r_0008_0012__Robertson [arg2] r_0008_0008__a_r_0008_0009__letter a letter r_0008_0007__write->r_0008_0008__a_r_0008_0009__letter [arg1] r_0008_0001__Then Then r_0008_0007__write->r_0008_0001__Then [nim] r_0008_0003__using->z_000_8_a_fce_0100_2000_12_1 [arg0] r_0008_0004__the_r_0008_0005__information the information r_0008_0003__using->r_0008_0004__the_r_0008_0005__information [arg1] 
fof(formula,axiom,
    ? [Z_8_A_FCE_100_2000_12_7,R_8_3_USING,R_8_4_THE_INFORMATION,R_8_7_WRITE,Z_8_A_FCE_100_2000_12_1,R_8_8_A_LETTER,R_8_11_MR_ROBERTSON,R_8_1_THEN] :
      ( the_information(R_8_4_THE_INFORMATION)
      & a_letter(R_8_8_A_LETTER)
      & mr_Robertson(R_8_11_MR_ROBERTSON)
      & then(R_8_1_THEN)
      & z_8_a_fce_100_2000_12_7(Z_8_A_FCE_100_2000_12_7)
      & conj1(Z_8_A_FCE_100_2000_12_7,R_8_3_USING)
      & using(R_8_3_USING,Z_8_A_FCE_100_2000_12_1,R_8_4_THE_INFORMATION)
      & conj2(Z_8_A_FCE_100_2000_12_7,R_8_7_WRITE)
      & write(R_8_7_WRITE,Z_8_A_FCE_100_2000_12_1,R_8_8_A_LETTER,R_8_11_MR_ROBERTSON)
      & nim2(R_8_7_WRITE,R_8_1_THEN) ) ).


n8_a_fce_0100_2000_12 n8_a_fce_0100_2000_12__1_1_1_1 Then n8_a_fce_0100_2000_12__1_2_1 , n8_a_fce_0100_2000_12__1_3_1_1_1 using n8_a_fce_0100_2000_12__1_3_1_2_1_1 the n8_a_fce_0100_2000_12__1_3_1_2_2_1 information n8_a_fce_0100_2000_12__1_4_1 , n8_a_fce_0100_2000_12__1_5_1 write n8_a_fce_0100_2000_12__1_6_1_1 a n8_a_fce_0100_2000_12__1_6_2_1 letter n8_a_fce_0100_2000_12__1_7_1_1 to n8_a_fce_0100_2000_12__1_7_2_1_1 Mr n8_a_fce_0100_2000_12__1_7_2_2_1 Robertson n8_a_fce_0100_2000_12__1_8_1 . n8_a_fce_0100_2000_12__1 IP-IMP n8_a_fce_0100_2000_12__1_1 ADVP-NIM n8_a_fce_0100_2000_12__1->n8_a_fce_0100_2000_12__1_1 n8_a_fce_0100_2000_12__1_2 PUNC n8_a_fce_0100_2000_12__1->n8_a_fce_0100_2000_12__1_2 n8_a_fce_0100_2000_12__1_3 PP-SCON n8_a_fce_0100_2000_12__1->n8_a_fce_0100_2000_12__1_3 n8_a_fce_0100_2000_12__1_4 PUNC n8_a_fce_0100_2000_12__1->n8_a_fce_0100_2000_12__1_4 n8_a_fce_0100_2000_12__1_5 VBP;_Dn.pr_ n8_a_fce_0100_2000_12__1->n8_a_fce_0100_2000_12__1_5 n8_a_fce_0100_2000_12__1_6 NP-OB1 n8_a_fce_0100_2000_12__1->n8_a_fce_0100_2000_12__1_6 n8_a_fce_0100_2000_12__1_7 PP-OB2 n8_a_fce_0100_2000_12__1->n8_a_fce_0100_2000_12__1_7 n8_a_fce_0100_2000_12__1_8 PUNC n8_a_fce_0100_2000_12__1->n8_a_fce_0100_2000_12__1_8 n8_a_fce_0100_2000_12__1_1_1 ADV n8_a_fce_0100_2000_12__1_1->n8_a_fce_0100_2000_12__1_1_1 n8_a_fce_0100_2000_12__1_1_1->n8_a_fce_0100_2000_12__1_1_1_1 n8_a_fce_0100_2000_12__1_2->n8_a_fce_0100_2000_12__1_2_1 n8_a_fce_0100_2000_12__1_3_1 IP-PPL n8_a_fce_0100_2000_12__1_3->n8_a_fce_0100_2000_12__1_3_1 n8_a_fce_0100_2000_12__1_3_1_1 VAG;_Tn_ n8_a_fce_0100_2000_12__1_3_1->n8_a_fce_0100_2000_12__1_3_1_1 n8_a_fce_0100_2000_12__1_3_1_2 NP-OB1 n8_a_fce_0100_2000_12__1_3_1->n8_a_fce_0100_2000_12__1_3_1_2 n8_a_fce_0100_2000_12__1_3_1_1->n8_a_fce_0100_2000_12__1_3_1_1_1 n8_a_fce_0100_2000_12__1_3_1_2_1 D n8_a_fce_0100_2000_12__1_3_1_2->n8_a_fce_0100_2000_12__1_3_1_2_1 n8_a_fce_0100_2000_12__1_3_1_2_2 N n8_a_fce_0100_2000_12__1_3_1_2->n8_a_fce_0100_2000_12__1_3_1_2_2 n8_a_fce_0100_2000_12__1_3_1_2_1->n8_a_fce_0100_2000_12__1_3_1_2_1_1 n8_a_fce_0100_2000_12__1_3_1_2_2->n8_a_fce_0100_2000_12__1_3_1_2_2_1 n8_a_fce_0100_2000_12__1_4->n8_a_fce_0100_2000_12__1_4_1 n8_a_fce_0100_2000_12__1_5->n8_a_fce_0100_2000_12__1_5_1 n8_a_fce_0100_2000_12__1_6_1 D n8_a_fce_0100_2000_12__1_6->n8_a_fce_0100_2000_12__1_6_1 n8_a_fce_0100_2000_12__1_6_2 N n8_a_fce_0100_2000_12__1_6->n8_a_fce_0100_2000_12__1_6_2 n8_a_fce_0100_2000_12__1_6_1->n8_a_fce_0100_2000_12__1_6_1_1 n8_a_fce_0100_2000_12__1_6_2->n8_a_fce_0100_2000_12__1_6_2_1 n8_a_fce_0100_2000_12__1_7_1 P-ROLE n8_a_fce_0100_2000_12__1_7->n8_a_fce_0100_2000_12__1_7_1 n8_a_fce_0100_2000_12__1_7_2 NP n8_a_fce_0100_2000_12__1_7->n8_a_fce_0100_2000_12__1_7_2 n8_a_fce_0100_2000_12__1_7_1->n8_a_fce_0100_2000_12__1_7_1_1 n8_a_fce_0100_2000_12__1_7_2_1 NPR n8_a_fce_0100_2000_12__1_7_2->n8_a_fce_0100_2000_12__1_7_2_1 n8_a_fce_0100_2000_12__1_7_2_2 NPR n8_a_fce_0100_2000_12__1_7_2->n8_a_fce_0100_2000_12__1_7_2_2 n8_a_fce_0100_2000_12__1_7_2_1->n8_a_fce_0100_2000_12__1_7_2_1_1 n8_a_fce_0100_2000_12__1_7_2_2->n8_a_fce_0100_2000_12__1_7_2_2_1 n8_a_fce_0100_2000_12__1_8->n8_a_fce_0100_2000_12__1_8_1 
( (IP-IMP (ADVP-NIM (ADV Then;{then}))
          (PUNC ,)
          (PP-SCON (IP-PPL (VAG;_Tn_ using;{use})
                           (NP-OB1;{INFO} (D the;{the})
                                          (N information;{information}))))
          (PUNC ,)
          (VBP;_Dn.pr_ write;{write[to]})
          (NP-OB1 (D a;{a})
                  (N letter;{letter}))
          (PP-OB2 (P-ROLE to;{to})
                  (NP;{ROBERTSON} (NPR Mr;{Mr})
                                  (NPR Robertson;{Robertson})))
          (PUNC .))
  (ID 8_a_fce_0100_2000_12))