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 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 [conj1] z_000_8_a_fce_0100_2000_12_7->r_0008_0007__write [conj2] 
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_4 Then n8_a_fce_0100_2000_12_6 , n8_a_fce_0100_2000_12_10 using n8_a_fce_0100_2000_12_13 the n8_a_fce_0100_2000_12_15 information n8_a_fce_0100_2000_12_17 , n8_a_fce_0100_2000_12_19 write n8_a_fce_0100_2000_12_22 a n8_a_fce_0100_2000_12_24 letter n8_a_fce_0100_2000_12_27 to n8_a_fce_0100_2000_12_30 Mr n8_a_fce_0100_2000_12_32 Robertson n8_a_fce_0100_2000_12_34 . n8_a_fce_0100_2000_12_1 IP-IMP n8_a_fce_0100_2000_12_2 ADVP-NIM n8_a_fce_0100_2000_12_1->n8_a_fce_0100_2000_12_2 n8_a_fce_0100_2000_12_5 PUNC n8_a_fce_0100_2000_12_1->n8_a_fce_0100_2000_12_5 n8_a_fce_0100_2000_12_7 PP-SCON n8_a_fce_0100_2000_12_1->n8_a_fce_0100_2000_12_7 n8_a_fce_0100_2000_12_16 PUNC n8_a_fce_0100_2000_12_1->n8_a_fce_0100_2000_12_16 n8_a_fce_0100_2000_12_18 VBP;_Dn.pr_ n8_a_fce_0100_2000_12_1->n8_a_fce_0100_2000_12_18 n8_a_fce_0100_2000_12_20 NP-OB1 n8_a_fce_0100_2000_12_1->n8_a_fce_0100_2000_12_20 n8_a_fce_0100_2000_12_25 PP-OB2 n8_a_fce_0100_2000_12_1->n8_a_fce_0100_2000_12_25 n8_a_fce_0100_2000_12_33 PUNC n8_a_fce_0100_2000_12_1->n8_a_fce_0100_2000_12_33 n8_a_fce_0100_2000_12_3 ADV n8_a_fce_0100_2000_12_2->n8_a_fce_0100_2000_12_3 n8_a_fce_0100_2000_12_3->n8_a_fce_0100_2000_12_4 n8_a_fce_0100_2000_12_5->n8_a_fce_0100_2000_12_6 n8_a_fce_0100_2000_12_8 IP-PPL n8_a_fce_0100_2000_12_7->n8_a_fce_0100_2000_12_8 n8_a_fce_0100_2000_12_9 VAG;_Tn_ n8_a_fce_0100_2000_12_8->n8_a_fce_0100_2000_12_9 n8_a_fce_0100_2000_12_11 NP-OB1 n8_a_fce_0100_2000_12_8->n8_a_fce_0100_2000_12_11 n8_a_fce_0100_2000_12_9->n8_a_fce_0100_2000_12_10 n8_a_fce_0100_2000_12_12 D n8_a_fce_0100_2000_12_11->n8_a_fce_0100_2000_12_12 n8_a_fce_0100_2000_12_14 N n8_a_fce_0100_2000_12_11->n8_a_fce_0100_2000_12_14 n8_a_fce_0100_2000_12_12->n8_a_fce_0100_2000_12_13 n8_a_fce_0100_2000_12_14->n8_a_fce_0100_2000_12_15 n8_a_fce_0100_2000_12_16->n8_a_fce_0100_2000_12_17 n8_a_fce_0100_2000_12_18->n8_a_fce_0100_2000_12_19 n8_a_fce_0100_2000_12_21 D n8_a_fce_0100_2000_12_20->n8_a_fce_0100_2000_12_21 n8_a_fce_0100_2000_12_23 N n8_a_fce_0100_2000_12_20->n8_a_fce_0100_2000_12_23 n8_a_fce_0100_2000_12_21->n8_a_fce_0100_2000_12_22 n8_a_fce_0100_2000_12_23->n8_a_fce_0100_2000_12_24 n8_a_fce_0100_2000_12_26 P-ROLE n8_a_fce_0100_2000_12_25->n8_a_fce_0100_2000_12_26 n8_a_fce_0100_2000_12_28 NP n8_a_fce_0100_2000_12_25->n8_a_fce_0100_2000_12_28 n8_a_fce_0100_2000_12_26->n8_a_fce_0100_2000_12_27 n8_a_fce_0100_2000_12_29 NPR n8_a_fce_0100_2000_12_28->n8_a_fce_0100_2000_12_29 n8_a_fce_0100_2000_12_31 NPR n8_a_fce_0100_2000_12_28->n8_a_fce_0100_2000_12_31 n8_a_fce_0100_2000_12_29->n8_a_fce_0100_2000_12_30 n8_a_fce_0100_2000_12_31->n8_a_fce_0100_2000_12_32 n8_a_fce_0100_2000_12_33->n8_a_fce_0100_2000_12_34 
( (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))