Context                Previous, Next                Top


6_a_fce_0101_2000_06
Then, using all the information, write a letter on behalf of your class to Mrs Brown.

%3 r_0006_0003__using using r_0006_0005__the_r_0006_0006__information the information r_0006_0003__using->r_0006_0005__the_r_0006_0006__information [arg1] z_000_6_a_fce_0101_2000_06_1 r_0006_0003__using->z_000_6_a_fce_0101_2000_06_1 [arg0] r_0006_0004__all_quant all [quant] r_0006_0004__all_quant->r_0006_0003__using [scope] r_0006_0004__all_quant->r_0006_0005__the_r_0006_0006__information [restriction] r_0006_0008__write write r_0006_0008__write->z_000_6_a_fce_0101_2000_06_1 [arg0] r_0006_0001__Then Then r_0006_0008__write->r_0006_0001__Then [nim] r_0006_0009__a_r_0006_0010__letter a letter r_0006_0008__write->r_0006_0009__a_r_0006_0010__letter [arg1] r_0006_0017__Mrs_r_0006_0018__Brown Mrs Brown r_0006_0008__write->r_0006_0017__Mrs_r_0006_0018__Brown [arg2] r_0006_0012__behalf behalf r_0006_0009__a_r_0006_0010__letter->r_0006_0012__behalf on r_0006_0015__class class r_0006_0012__behalf->r_0006_0015__class of r_0006_0014__your your r_0006_0015__class->r_0006_0014__your [gen] z_000_6_a_fce_0101_2000_06_7 z_000_6_a_fce_0101_2000_06_7->r_0006_0004__all_quant [restriction] z_000_6_a_fce_0101_2000_06_7->r_0006_0008__write [scope] 
arc(r_0006_0003__using, r_0006_0005__the_r_0006_0006__information, arg1).
arc(r_0006_0003__using, z_000_6_a_fce_0101_2000_06_1, arg0).
arc(r_0006_0004__all_quant, r_0006_0003__using, scope).
arc(r_0006_0004__all_quant, r_0006_0005__the_r_0006_0006__information, restriction).
arc(r_0006_0008__write, r_0006_0001__Then, nim2).
arc(r_0006_0008__write, r_0006_0009__a_r_0006_0010__letter, arg1).
arc(r_0006_0008__write, r_0006_0017__Mrs_r_0006_0018__Brown, arg2).
arc(r_0006_0008__write, z_000_6_a_fce_0101_2000_06_1, arg0).
arc(r_0006_0009__a_r_0006_0010__letter, r_0006_0012__behalf, r_0006_0011__on).
arc(r_0006_0012__behalf, r_0006_0015__class, r_0006_0013__of).
arc(r_0006_0015__class, r_0006_0014__your, gen).
arc(z_000_6_a_fce_0101_2000_06_7, r_0006_0004__all_quant, restriction).
arc(z_000_6_a_fce_0101_2000_06_7, r_0006_0008__write, scope).


%3 r_0006_0003__using using r_0006_0005__the_r_0006_0006__information the information r_0006_0003__using->r_0006_0005__the_r_0006_0006__information [arg1] z_000_6_a_fce_0101_2000_06_1 r_0006_0003__using->z_000_6_a_fce_0101_2000_06_1 [arg0] r_0006_0004__all_quant all [quant] r_0006_0004__all_quant->r_0006_0003__using [scope] r_0006_0004__all_quant->r_0006_0005__the_r_0006_0006__information [restriction] r_0006_0008__write write r_0006_0008__write->z_000_6_a_fce_0101_2000_06_1 [arg0] r_0006_0001__Then Then r_0006_0008__write->r_0006_0001__Then [nim] r_0006_0009__a_r_0006_0010__letter a letter r_0006_0008__write->r_0006_0009__a_r_0006_0010__letter [arg1] r_0006_0017__Mrs_r_0006_0018__Brown Mrs Brown r_0006_0008__write->r_0006_0017__Mrs_r_0006_0018__Brown [arg2] r_0006_0012__behalf behalf r_0006_0009__a_r_0006_0010__letter->r_0006_0012__behalf on r_0006_0015__class class r_0006_0012__behalf->r_0006_0015__class of r_0006_0014__your your r_0006_0015__class->r_0006_0014__your [gen] z_000_6_a_fce_0101_2000_06_7 z_000_6_a_fce_0101_2000_06_7->r_0006_0004__all_quant [conj1] z_000_6_a_fce_0101_2000_06_7->r_0006_0008__write [conj2] 
fof(formula,axiom,
    ? [Z_6_A_FCE_101_2000_6_7,R_6_8_WRITE,Z_6_A_FCE_101_2000_6_1,R_6_9_A_LETTER,R_6_12_BEHALF,R_6_15_CLASS,R_6_14_YOUR,R_6_17_MRS_BROWN,R_6_1_THEN] :
      ( your(R_6_14_YOUR)
      & mrs_Brown(R_6_17_MRS_BROWN)
      & then(R_6_1_THEN)
      & ! [R_6_5_THE_INFORMATION] :
          ( the_information(R_6_5_THE_INFORMATION)
         => ? [R_6_3_USING] : using(R_6_3_USING,Z_6_A_FCE_101_2000_6_1,R_6_5_THE_INFORMATION) )
      & conj1(CONJ1)
      & z_6_a_fce_101_2000_6_7(Z_6_A_FCE_101_2000_6_7)
      & conj2(Z_6_A_FCE_101_2000_6_7,R_6_8_WRITE)
      & write(R_6_8_WRITE,Z_6_A_FCE_101_2000_6_1,R_6_9_A_LETTER,R_6_17_MRS_BROWN)
      & a_letter(R_6_9_A_LETTER)
      & on(R_6_9_A_LETTER,R_6_12_BEHALF)
      & behalf(R_6_12_BEHALF)
      & of(R_6_12_BEHALF,R_6_15_CLASS)
      & class(R_6_15_CLASS)
      & gen(R_6_15_CLASS,R_6_14_YOUR)
      & nim2(R_6_8_WRITE,R_6_1_THEN) ) ).


n6_a_fce_0101_2000_06 n6_a_fce_0101_2000_06_4 Then n6_a_fce_0101_2000_06_6 , n6_a_fce_0101_2000_06_10 using n6_a_fce_0101_2000_06_13 all n6_a_fce_0101_2000_06_15 the n6_a_fce_0101_2000_06_17 information n6_a_fce_0101_2000_06_19 , n6_a_fce_0101_2000_06_21 write n6_a_fce_0101_2000_06_24 a n6_a_fce_0101_2000_06_26 letter n6_a_fce_0101_2000_06_29 on n6_a_fce_0101_2000_06_32 behalf n6_a_fce_0101_2000_06_35 of n6_a_fce_0101_2000_06_39 your n6_a_fce_0101_2000_06_41 class n6_a_fce_0101_2000_06_44 to n6_a_fce_0101_2000_06_47 Mrs n6_a_fce_0101_2000_06_49 Brown n6_a_fce_0101_2000_06_51 . n6_a_fce_0101_2000_06_1 IP-IMP n6_a_fce_0101_2000_06_2 ADVP-NIM n6_a_fce_0101_2000_06_1->n6_a_fce_0101_2000_06_2 n6_a_fce_0101_2000_06_5 PUNC n6_a_fce_0101_2000_06_1->n6_a_fce_0101_2000_06_5 n6_a_fce_0101_2000_06_7 PP-SCON n6_a_fce_0101_2000_06_1->n6_a_fce_0101_2000_06_7 n6_a_fce_0101_2000_06_18 PUNC n6_a_fce_0101_2000_06_1->n6_a_fce_0101_2000_06_18 n6_a_fce_0101_2000_06_20 VBP;_Dn.pr_ n6_a_fce_0101_2000_06_1->n6_a_fce_0101_2000_06_20 n6_a_fce_0101_2000_06_22 NP-OB1 n6_a_fce_0101_2000_06_1->n6_a_fce_0101_2000_06_22 n6_a_fce_0101_2000_06_42 PP-OB2 n6_a_fce_0101_2000_06_1->n6_a_fce_0101_2000_06_42 n6_a_fce_0101_2000_06_50 PUNC n6_a_fce_0101_2000_06_1->n6_a_fce_0101_2000_06_50 n6_a_fce_0101_2000_06_3 ADV n6_a_fce_0101_2000_06_2->n6_a_fce_0101_2000_06_3 n6_a_fce_0101_2000_06_3->n6_a_fce_0101_2000_06_4 n6_a_fce_0101_2000_06_5->n6_a_fce_0101_2000_06_6 n6_a_fce_0101_2000_06_8 IP-PPL n6_a_fce_0101_2000_06_7->n6_a_fce_0101_2000_06_8 n6_a_fce_0101_2000_06_9 VAG;_Tn_ n6_a_fce_0101_2000_06_8->n6_a_fce_0101_2000_06_9 n6_a_fce_0101_2000_06_11 NP-OB1 n6_a_fce_0101_2000_06_8->n6_a_fce_0101_2000_06_11 n6_a_fce_0101_2000_06_9->n6_a_fce_0101_2000_06_10 n6_a_fce_0101_2000_06_12 Q;_nphd_ n6_a_fce_0101_2000_06_11->n6_a_fce_0101_2000_06_12 n6_a_fce_0101_2000_06_14 D n6_a_fce_0101_2000_06_11->n6_a_fce_0101_2000_06_14 n6_a_fce_0101_2000_06_16 N n6_a_fce_0101_2000_06_11->n6_a_fce_0101_2000_06_16 n6_a_fce_0101_2000_06_12->n6_a_fce_0101_2000_06_13 n6_a_fce_0101_2000_06_14->n6_a_fce_0101_2000_06_15 n6_a_fce_0101_2000_06_16->n6_a_fce_0101_2000_06_17 n6_a_fce_0101_2000_06_18->n6_a_fce_0101_2000_06_19 n6_a_fce_0101_2000_06_20->n6_a_fce_0101_2000_06_21 n6_a_fce_0101_2000_06_23 D n6_a_fce_0101_2000_06_22->n6_a_fce_0101_2000_06_23 n6_a_fce_0101_2000_06_25 N n6_a_fce_0101_2000_06_22->n6_a_fce_0101_2000_06_25 n6_a_fce_0101_2000_06_27 PP n6_a_fce_0101_2000_06_22->n6_a_fce_0101_2000_06_27 n6_a_fce_0101_2000_06_23->n6_a_fce_0101_2000_06_24 n6_a_fce_0101_2000_06_25->n6_a_fce_0101_2000_06_26 n6_a_fce_0101_2000_06_28 P-ROLE n6_a_fce_0101_2000_06_27->n6_a_fce_0101_2000_06_28 n6_a_fce_0101_2000_06_30 NP n6_a_fce_0101_2000_06_27->n6_a_fce_0101_2000_06_30 n6_a_fce_0101_2000_06_28->n6_a_fce_0101_2000_06_29 n6_a_fce_0101_2000_06_31 N n6_a_fce_0101_2000_06_30->n6_a_fce_0101_2000_06_31 n6_a_fce_0101_2000_06_33 PP n6_a_fce_0101_2000_06_30->n6_a_fce_0101_2000_06_33 n6_a_fce_0101_2000_06_31->n6_a_fce_0101_2000_06_32 n6_a_fce_0101_2000_06_34 P-ROLE n6_a_fce_0101_2000_06_33->n6_a_fce_0101_2000_06_34 n6_a_fce_0101_2000_06_36 NP n6_a_fce_0101_2000_06_33->n6_a_fce_0101_2000_06_36 n6_a_fce_0101_2000_06_34->n6_a_fce_0101_2000_06_35 n6_a_fce_0101_2000_06_37 NP-GEN n6_a_fce_0101_2000_06_36->n6_a_fce_0101_2000_06_37 n6_a_fce_0101_2000_06_40 N n6_a_fce_0101_2000_06_36->n6_a_fce_0101_2000_06_40 n6_a_fce_0101_2000_06_38 PRO;_genm_ n6_a_fce_0101_2000_06_37->n6_a_fce_0101_2000_06_38 n6_a_fce_0101_2000_06_38->n6_a_fce_0101_2000_06_39 n6_a_fce_0101_2000_06_40->n6_a_fce_0101_2000_06_41 n6_a_fce_0101_2000_06_43 P-ROLE n6_a_fce_0101_2000_06_42->n6_a_fce_0101_2000_06_43 n6_a_fce_0101_2000_06_45 NP n6_a_fce_0101_2000_06_42->n6_a_fce_0101_2000_06_45 n6_a_fce_0101_2000_06_43->n6_a_fce_0101_2000_06_44 n6_a_fce_0101_2000_06_46 NPR n6_a_fce_0101_2000_06_45->n6_a_fce_0101_2000_06_46 n6_a_fce_0101_2000_06_48 NPR n6_a_fce_0101_2000_06_45->n6_a_fce_0101_2000_06_48 n6_a_fce_0101_2000_06_46->n6_a_fce_0101_2000_06_47 n6_a_fce_0101_2000_06_48->n6_a_fce_0101_2000_06_49 n6_a_fce_0101_2000_06_50->n6_a_fce_0101_2000_06_51 
( (IP-IMP (ADVP-NIM (ADV Then;{then}))
          (PUNC ,)
          (PP-SCON (IP-PPL (VAG;_Tn_ using;{use})
                           (NP-OB1 (Q;_nphd_ all;{all})
                                   (D the;{the})
                                   (N information;{information}))))
          (PUNC ,)
          (VBP;_Dn.pr_ write;{write[to]})
          (NP-OB1 (D a;{a})
                  (N letter;{letter})
                  (PP (P-ROLE on;{on})
                      (NP (N behalf;{behalf})
                          (PP (P-ROLE of;{of})
                              (NP (NP-GEN (PRO;_genm_ your;{your}))
                                  (N class;{class}))))))
          (PP-OB2 (P-ROLE to;{to})
                  (NP;{WIFE_OF_BROWN} (NPR Mrs;{Mrs})
                                      (NPR Brown;{Brown})))
          (PUNC .))
  (ID 6_a_fce_0101_2000_06))