Context                Previous, Next                Top


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

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))


%3 z_0008_5004 r_0008_0007__write_r_0008_0010__to write to z_0008_5004->r_0008_0007__write_r_0008_0010__to [scope] r_0008_0003__using using z_0008_5004->r_0008_0003__using [restriction] z_0008_5002 r_0008_0007__write_r_0008_0010__to->z_0008_5002 [arg0] r_0008_0011__Mr_r_0008_0012__Robertson Mr Robertson r_0008_0007__write_r_0008_0010__to->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_0010__to->r_0008_0008__a_r_0008_0009__letter [arg1] r_0008_0001__Then Then r_0008_0007__write_r_0008_0010__to->r_0008_0001__Then [nim] r_0008_0003__using->r_0008_0011__Mr_r_0008_0012__Robertson [arg0] r_0008_0004__the_r_0008_0005__information the information r_0008_0003__using->r_0008_0004__the_r_0008_0005__information [arg1] 
arc(r_0008_0003__using,r_0008_0004__the_r_0008_0005__information,arg1).
arc(r_0008_0003__using,r_0008_0011__Mr_r_0008_0012__Robertson,arg0).
arc(r_0008_0007__write_r_0008_0010__to,r_0008_0001__Then,nim).
arc(r_0008_0007__write_r_0008_0010__to,r_0008_0008__a_r_0008_0009__letter,arg1).
arc(r_0008_0007__write_r_0008_0010__to,r_0008_0011__Mr_r_0008_0012__Robertson,arg2).
arc(r_0008_0007__write_r_0008_0010__to,z_0008_5002,arg0).
arc(z_0008_5004,r_0008_0003__using,restriction).
arc(z_0008_5004,r_0008_0007__write_r_0008_0010__to,scope).


%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] r_0008_0011__Mr_r_0008_0012__Robertson Mr Robertson r_0008_0003__using->r_0008_0011__Mr_r_0008_0012__Robertson [arg0] r_0008_0007__write_r_0008_0010__to write to r_0008_0007__write_r_0008_0010__to->r_0008_0011__Mr_r_0008_0012__Robertson [arg2] r_0008_0001__Then Then r_0008_0007__write_r_0008_0010__to->r_0008_0001__Then [nim] r_0008_0008__a_r_0008_0009__letter a letter r_0008_0007__write_r_0008_0010__to->r_0008_0008__a_r_0008_0009__letter [arg1] z_0008_5002 r_0008_0007__write_r_0008_0010__to->z_0008_5002 [arg0] z_0008_5004 z_0008_5004->r_0008_0003__using [conj1] z_0008_5004->r_0008_0007__write_r_0008_0010__to [conj2] 
fof(formula,axiom,
    ? [R_0008_0004__THE_R_0008_0005__INFORMATION,R_0008_0011__MR_R_0008_0012__ROBERTSON,R_0008_0003__USING,R_0008_0001__THEN,R_0008_0008__A_R_0008_0009__LETTER,Z_0008_5002,R_0008_0007__WRITE_R_0008_0010__TO,Z_0008_5004] :
      ( r_0008_0001__Then(R_0008_0001__THEN)
      & r_0008_0004__the_r_0008_0005__information(R_0008_0004__THE_R_0008_0005__INFORMATION)
      & r_0008_0008__a_r_0008_0009__letter(R_0008_0008__A_R_0008_0009__LETTER)
      & r_0008_0011__Mr_r_0008_0012__Robertson(R_0008_0011__MR_R_0008_0012__ROBERTSON)
      & z_0008_5002(Z_0008_5002)
      & z_0008_5004(Z_0008_5004)
      & has_conj2(Z_0008_5004,R_0008_0007__WRITE_R_0008_0010__TO)
      & r_0008_0007__write_r_0008_0010__to(R_0008_0007__WRITE_R_0008_0010__TO)
      & has_arg0(R_0008_0007__WRITE_R_0008_0010__TO,Z_0008_5002)
      & has_arg2(R_0008_0007__WRITE_R_0008_0010__TO,R_0008_0011__MR_R_0008_0012__ROBERTSON)
      & has_arg1(R_0008_0007__WRITE_R_0008_0010__TO,R_0008_0008__A_R_0008_0009__LETTER)
      & has_nim(R_0008_0007__WRITE_R_0008_0010__TO,R_0008_0001__THEN)
      & has_conj1(Z_0008_5004,R_0008_0003__USING)
      & r_0008_0003__using(R_0008_0003__USING)
      & has_arg0(R_0008_0003__USING,R_0008_0011__MR_R_0008_0012__ROBERTSON)
      & has_arg1(R_0008_0003__USING,R_0008_0004__THE_R_0008_0005__INFORMATION) ) ).