Context                Previous, Next                Top


6_a_fce_0102_2001_03
Then, using all your notes, write a letter to Pete.

%3 r_0006_0003__using using r_0006_0006__notes notes r_0006_0003__using->r_0006_0006__notes [arg1] z_000_6_a_fce_0102_2001_03_1 r_0006_0003__using->z_000_6_a_fce_0102_2001_03_1 [arg0] r_0006_0005__your your r_0006_0006__notes->r_0006_0005__your [gen] r_0006_0004__all_quant all [quant] r_0006_0004__all_quant->r_0006_0003__using [scope] r_0006_0004__all_quant->r_0006_0006__notes [restriction] r_0006_0008__write write r_0006_0008__write->z_000_6_a_fce_0102_2001_03_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_0012__Pete Pete r_0006_0008__write->r_0006_0012__Pete [arg2] z_000_6_a_fce_0102_2001_03_7 z_000_6_a_fce_0102_2001_03_7->r_0006_0004__all_quant [restriction] z_000_6_a_fce_0102_2001_03_7->r_0006_0008__write [scope] 
arc(r_0006_0003__using, r_0006_0006__notes, arg1).
arc(r_0006_0003__using, z_000_6_a_fce_0102_2001_03_1, arg0).
arc(r_0006_0004__all_quant, r_0006_0003__using, scope).
arc(r_0006_0004__all_quant, r_0006_0006__notes, restriction).
arc(r_0006_0006__notes, r_0006_0005__your, gen).
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_0012__Pete, arg2).
arc(r_0006_0008__write, z_000_6_a_fce_0102_2001_03_1, arg0).
arc(z_000_6_a_fce_0102_2001_03_7, r_0006_0004__all_quant, restriction).
arc(z_000_6_a_fce_0102_2001_03_7, r_0006_0008__write, scope).


%3 r_0006_0003__using using r_0006_0006__notes notes r_0006_0003__using->r_0006_0006__notes [arg1] z_000_6_a_fce_0102_2001_03_1 r_0006_0003__using->z_000_6_a_fce_0102_2001_03_1 [arg0] r_0006_0005__your your r_0006_0006__notes->r_0006_0005__your [gen] r_0006_0004__all_quant all [quant] r_0006_0004__all_quant->r_0006_0003__using [scope] r_0006_0004__all_quant->r_0006_0006__notes [restriction] r_0006_0008__write write r_0006_0008__write->z_000_6_a_fce_0102_2001_03_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_0012__Pete Pete r_0006_0008__write->r_0006_0012__Pete [arg2] z_000_6_a_fce_0102_2001_03_7 z_000_6_a_fce_0102_2001_03_7->r_0006_0004__all_quant [conj1] z_000_6_a_fce_0102_2001_03_7->r_0006_0008__write [conj2] 
fof(formula,axiom,
    ? [Z_6_A_FCE_102_2001_3_7,R_6_8_WRITE,Z_6_A_FCE_102_2001_3_1,R_6_9_A_LETTER,R_6_12_PETE,R_6_1_THEN] :
      ( a_letter(R_6_9_A_LETTER)
      & pete(R_6_12_PETE)
      & then(R_6_1_THEN)
      & ! [R_6_6_NOTES,R_6_5_YOUR] :
          ( ( your(R_6_5_YOUR)
            & notes(R_6_6_NOTES)
            & gen(R_6_6_NOTES,R_6_5_YOUR) )
         => ? [R_6_3_USING] : using(R_6_3_USING,Z_6_A_FCE_102_2001_3_1,R_6_6_NOTES) )
      & conj1(CONJ1)
      & z_6_a_fce_102_2001_3_7(Z_6_A_FCE_102_2001_3_7)
      & conj2(Z_6_A_FCE_102_2001_3_7,R_6_8_WRITE)
      & write(R_6_8_WRITE,Z_6_A_FCE_102_2001_3_1,R_6_9_A_LETTER,R_6_12_PETE)
      & nim2(R_6_8_WRITE,R_6_1_THEN) ) ).


n6_a_fce_0102_2001_03 n6_a_fce_0102_2001_03_4 Then n6_a_fce_0102_2001_03_6 , n6_a_fce_0102_2001_03_10 using n6_a_fce_0102_2001_03_13 all n6_a_fce_0102_2001_03_16 your n6_a_fce_0102_2001_03_18 notes n6_a_fce_0102_2001_03_20 , n6_a_fce_0102_2001_03_22 write n6_a_fce_0102_2001_03_25 a n6_a_fce_0102_2001_03_27 letter n6_a_fce_0102_2001_03_30 to n6_a_fce_0102_2001_03_33 Pete n6_a_fce_0102_2001_03_35 . n6_a_fce_0102_2001_03_1 IP-IMP n6_a_fce_0102_2001_03_2 ADVP-NIM n6_a_fce_0102_2001_03_1->n6_a_fce_0102_2001_03_2 n6_a_fce_0102_2001_03_5 PUNC n6_a_fce_0102_2001_03_1->n6_a_fce_0102_2001_03_5 n6_a_fce_0102_2001_03_7 PP-SCON n6_a_fce_0102_2001_03_1->n6_a_fce_0102_2001_03_7 n6_a_fce_0102_2001_03_19 PUNC n6_a_fce_0102_2001_03_1->n6_a_fce_0102_2001_03_19 n6_a_fce_0102_2001_03_21 VB;_Dn.pr_ n6_a_fce_0102_2001_03_1->n6_a_fce_0102_2001_03_21 n6_a_fce_0102_2001_03_23 NP-OB1 n6_a_fce_0102_2001_03_1->n6_a_fce_0102_2001_03_23 n6_a_fce_0102_2001_03_28 PP-OB2 n6_a_fce_0102_2001_03_1->n6_a_fce_0102_2001_03_28 n6_a_fce_0102_2001_03_34 PUNC n6_a_fce_0102_2001_03_1->n6_a_fce_0102_2001_03_34 n6_a_fce_0102_2001_03_3 ADV n6_a_fce_0102_2001_03_2->n6_a_fce_0102_2001_03_3 n6_a_fce_0102_2001_03_3->n6_a_fce_0102_2001_03_4 n6_a_fce_0102_2001_03_5->n6_a_fce_0102_2001_03_6 n6_a_fce_0102_2001_03_8 IP-PPL n6_a_fce_0102_2001_03_7->n6_a_fce_0102_2001_03_8 n6_a_fce_0102_2001_03_9 VAG;_Tn_ n6_a_fce_0102_2001_03_8->n6_a_fce_0102_2001_03_9 n6_a_fce_0102_2001_03_11 NP-OB1 n6_a_fce_0102_2001_03_8->n6_a_fce_0102_2001_03_11 n6_a_fce_0102_2001_03_9->n6_a_fce_0102_2001_03_10 n6_a_fce_0102_2001_03_12 Q n6_a_fce_0102_2001_03_11->n6_a_fce_0102_2001_03_12 n6_a_fce_0102_2001_03_14 NP-GEN n6_a_fce_0102_2001_03_11->n6_a_fce_0102_2001_03_14 n6_a_fce_0102_2001_03_17 NS n6_a_fce_0102_2001_03_11->n6_a_fce_0102_2001_03_17 n6_a_fce_0102_2001_03_12->n6_a_fce_0102_2001_03_13 n6_a_fce_0102_2001_03_15 PRO;_genm_ n6_a_fce_0102_2001_03_14->n6_a_fce_0102_2001_03_15 n6_a_fce_0102_2001_03_15->n6_a_fce_0102_2001_03_16 n6_a_fce_0102_2001_03_17->n6_a_fce_0102_2001_03_18 n6_a_fce_0102_2001_03_19->n6_a_fce_0102_2001_03_20 n6_a_fce_0102_2001_03_21->n6_a_fce_0102_2001_03_22 n6_a_fce_0102_2001_03_24 D n6_a_fce_0102_2001_03_23->n6_a_fce_0102_2001_03_24 n6_a_fce_0102_2001_03_26 N n6_a_fce_0102_2001_03_23->n6_a_fce_0102_2001_03_26 n6_a_fce_0102_2001_03_24->n6_a_fce_0102_2001_03_25 n6_a_fce_0102_2001_03_26->n6_a_fce_0102_2001_03_27 n6_a_fce_0102_2001_03_29 P-ROLE n6_a_fce_0102_2001_03_28->n6_a_fce_0102_2001_03_29 n6_a_fce_0102_2001_03_31 NP n6_a_fce_0102_2001_03_28->n6_a_fce_0102_2001_03_31 n6_a_fce_0102_2001_03_29->n6_a_fce_0102_2001_03_30 n6_a_fce_0102_2001_03_32 NPR n6_a_fce_0102_2001_03_31->n6_a_fce_0102_2001_03_32 n6_a_fce_0102_2001_03_32->n6_a_fce_0102_2001_03_33 n6_a_fce_0102_2001_03_34->n6_a_fce_0102_2001_03_35 
( (IP-IMP (ADVP-NIM (ADV Then;{then}))
          (PUNC ,)
          (PP-SCON (IP-PPL (VAG;_Tn_ using;{use})
                           (NP-OB1 (Q all;{all})
                                   (NP-GEN (PRO;_genm_ your;{your}))
                                   (NS notes;{note}))))
          (PUNC ,)
          (VB;_Dn.pr_ write;{write[to]})
          (NP-OB1 (D a;{a})
                  (N letter;{letter}))
          (PP-OB2 (P-ROLE to;{to})
                  (NP;{PETE} (NPR Pete;{Pete})))
          (PUNC .))
  (ID 6_a_fce_0102_2001_03))