Context                Previous, Next                Top


6_a_fce_0102_2001_06
Then write a letter to Belinda Marriott, including all the information in your notes.

%3 r_0006_0002__write write r_0006_0001__Then Then r_0006_0002__write->r_0006_0001__Then [nim] r_0006_0003__a_r_0006_0004__letter a letter r_0006_0002__write->r_0006_0003__a_r_0006_0004__letter [arg1] r_0006_0006__Belinda_r_0006_0007__Marriott Belinda Marriott r_0006_0002__write->r_0006_0006__Belinda_r_0006_0007__Marriott [arg2] z_000_6_a_fce_0102_2001_06_1 r_0006_0002__write->z_000_6_a_fce_0102_2001_06_1 [arg0] r_0006_0009__including including r_0006_0009__including->z_000_6_a_fce_0102_2001_06_1 [arg0] r_0006_0011__the_r_0006_0012__information the information r_0006_0009__including->r_0006_0011__the_r_0006_0012__information [arg1] r_0006_0015__notes notes r_0006_0011__the_r_0006_0012__information->r_0006_0015__notes in r_0006_0010__all_quant all [quant] r_0006_0010__all_quant->r_0006_0009__including [scope] r_0006_0010__all_quant->r_0006_0011__the_r_0006_0012__information [restriction] r_0006_0014__your your r_0006_0015__notes->r_0006_0014__your [gen] z_000_6_a_fce_0102_2001_06_22 z_000_6_a_fce_0102_2001_06_22->r_0006_0002__write [scope] z_000_6_a_fce_0102_2001_06_22->r_0006_0010__all_quant [restriction] 
arc(r_0006_0002__write, r_0006_0001__Then, nim2).
arc(r_0006_0002__write, r_0006_0003__a_r_0006_0004__letter, arg1).
arc(r_0006_0002__write, r_0006_0006__Belinda_r_0006_0007__Marriott, arg2).
arc(r_0006_0002__write, z_000_6_a_fce_0102_2001_06_1, arg0).
arc(r_0006_0009__including, r_0006_0011__the_r_0006_0012__information, arg1).
arc(r_0006_0009__including, z_000_6_a_fce_0102_2001_06_1, arg0).
arc(r_0006_0010__all_quant, r_0006_0009__including, scope).
arc(r_0006_0010__all_quant, r_0006_0011__the_r_0006_0012__information, restriction).
arc(r_0006_0011__the_r_0006_0012__information, r_0006_0015__notes, r_0006_0013__in).
arc(r_0006_0015__notes, r_0006_0014__your, gen).
arc(z_000_6_a_fce_0102_2001_06_22, r_0006_0002__write, scope).
arc(z_000_6_a_fce_0102_2001_06_22, r_0006_0010__all_quant, restriction).


%3 r_0006_0002__write write r_0006_0001__Then Then r_0006_0002__write->r_0006_0001__Then [nim] r_0006_0003__a_r_0006_0004__letter a letter r_0006_0002__write->r_0006_0003__a_r_0006_0004__letter [arg1] r_0006_0006__Belinda_r_0006_0007__Marriott Belinda Marriott r_0006_0002__write->r_0006_0006__Belinda_r_0006_0007__Marriott [arg2] z_000_6_a_fce_0102_2001_06_1 r_0006_0002__write->z_000_6_a_fce_0102_2001_06_1 [arg0] r_0006_0009__including including r_0006_0009__including->z_000_6_a_fce_0102_2001_06_1 [arg0] r_0006_0011__the_r_0006_0012__information the information r_0006_0009__including->r_0006_0011__the_r_0006_0012__information [arg1] r_0006_0015__notes notes r_0006_0011__the_r_0006_0012__information->r_0006_0015__notes in r_0006_0010__all_quant all [quant] r_0006_0010__all_quant->r_0006_0009__including [scope] r_0006_0010__all_quant->r_0006_0011__the_r_0006_0012__information [restriction] r_0006_0014__your your r_0006_0015__notes->r_0006_0014__your [gen] z_000_6_a_fce_0102_2001_06_22 z_000_6_a_fce_0102_2001_06_22->r_0006_0002__write [conj2] z_000_6_a_fce_0102_2001_06_22->r_0006_0010__all_quant [conj1] 
fof(formula,axiom,
    ? [Z_6_A_FCE_102_2001_6_22,R_6_2_WRITE,Z_6_A_FCE_102_2001_6_1,R_6_3_A_LETTER,R_6_6_BELINDA_MARRIOTT,R_6_1_THEN] :
      ( a_letter(R_6_3_A_LETTER)
      & belinda_Marriott(R_6_6_BELINDA_MARRIOTT)
      & then(R_6_1_THEN)
      & ! [R_6_11_THE_INFORMATION,R_6_15_NOTES,R_6_14_YOUR] :
          ( ( your(R_6_14_YOUR)
            & the_information(R_6_11_THE_INFORMATION)
            & in(R_6_11_THE_INFORMATION,R_6_15_NOTES)
            & notes(R_6_15_NOTES)
            & gen(R_6_15_NOTES,R_6_14_YOUR) )
         => ? [R_6_9_INCLUDING] : including(R_6_9_INCLUDING,Z_6_A_FCE_102_2001_6_1,R_6_11_THE_INFORMATION) )
      & conj1(CONJ1)
      & z_6_a_fce_102_2001_6_22(Z_6_A_FCE_102_2001_6_22)
      & conj2(Z_6_A_FCE_102_2001_6_22,R_6_2_WRITE)
      & write(R_6_2_WRITE,Z_6_A_FCE_102_2001_6_1,R_6_3_A_LETTER,R_6_6_BELINDA_MARRIOTT)
      & nim2(R_6_2_WRITE,R_6_1_THEN) ) ).


n6_a_fce_0102_2001_06 n6_a_fce_0102_2001_06_4 Then n6_a_fce_0102_2001_06_6 write n6_a_fce_0102_2001_06_9 a n6_a_fce_0102_2001_06_11 letter n6_a_fce_0102_2001_06_14 to n6_a_fce_0102_2001_06_17 Belinda n6_a_fce_0102_2001_06_19 Marriott n6_a_fce_0102_2001_06_21 , n6_a_fce_0102_2001_06_25 including n6_a_fce_0102_2001_06_28 all n6_a_fce_0102_2001_06_30 the n6_a_fce_0102_2001_06_32 information n6_a_fce_0102_2001_06_35 in n6_a_fce_0102_2001_06_39 your n6_a_fce_0102_2001_06_41 notes n6_a_fce_0102_2001_06_43 . n6_a_fce_0102_2001_06_1 IP-IMP n6_a_fce_0102_2001_06_2 ADVP-NIM n6_a_fce_0102_2001_06_1->n6_a_fce_0102_2001_06_2 n6_a_fce_0102_2001_06_5 VB;_Dn.pr_ n6_a_fce_0102_2001_06_1->n6_a_fce_0102_2001_06_5 n6_a_fce_0102_2001_06_7 NP-OB1 n6_a_fce_0102_2001_06_1->n6_a_fce_0102_2001_06_7 n6_a_fce_0102_2001_06_12 PP-OB2 n6_a_fce_0102_2001_06_1->n6_a_fce_0102_2001_06_12 n6_a_fce_0102_2001_06_20 PUNC n6_a_fce_0102_2001_06_1->n6_a_fce_0102_2001_06_20 n6_a_fce_0102_2001_06_22 PP-SCON n6_a_fce_0102_2001_06_1->n6_a_fce_0102_2001_06_22 n6_a_fce_0102_2001_06_42 PUNC n6_a_fce_0102_2001_06_1->n6_a_fce_0102_2001_06_42 n6_a_fce_0102_2001_06_3 ADV n6_a_fce_0102_2001_06_2->n6_a_fce_0102_2001_06_3 n6_a_fce_0102_2001_06_3->n6_a_fce_0102_2001_06_4 n6_a_fce_0102_2001_06_5->n6_a_fce_0102_2001_06_6 n6_a_fce_0102_2001_06_8 D n6_a_fce_0102_2001_06_7->n6_a_fce_0102_2001_06_8 n6_a_fce_0102_2001_06_10 N n6_a_fce_0102_2001_06_7->n6_a_fce_0102_2001_06_10 n6_a_fce_0102_2001_06_8->n6_a_fce_0102_2001_06_9 n6_a_fce_0102_2001_06_10->n6_a_fce_0102_2001_06_11 n6_a_fce_0102_2001_06_13 P-ROLE n6_a_fce_0102_2001_06_12->n6_a_fce_0102_2001_06_13 n6_a_fce_0102_2001_06_15 NP n6_a_fce_0102_2001_06_12->n6_a_fce_0102_2001_06_15 n6_a_fce_0102_2001_06_13->n6_a_fce_0102_2001_06_14 n6_a_fce_0102_2001_06_16 NPR n6_a_fce_0102_2001_06_15->n6_a_fce_0102_2001_06_16 n6_a_fce_0102_2001_06_18 NPR n6_a_fce_0102_2001_06_15->n6_a_fce_0102_2001_06_18 n6_a_fce_0102_2001_06_16->n6_a_fce_0102_2001_06_17 n6_a_fce_0102_2001_06_18->n6_a_fce_0102_2001_06_19 n6_a_fce_0102_2001_06_20->n6_a_fce_0102_2001_06_21 n6_a_fce_0102_2001_06_23 IP-PPL2 n6_a_fce_0102_2001_06_22->n6_a_fce_0102_2001_06_23 n6_a_fce_0102_2001_06_24 VAG;_Tn_ n6_a_fce_0102_2001_06_23->n6_a_fce_0102_2001_06_24 n6_a_fce_0102_2001_06_26 NP-OB1 n6_a_fce_0102_2001_06_23->n6_a_fce_0102_2001_06_26 n6_a_fce_0102_2001_06_24->n6_a_fce_0102_2001_06_25 n6_a_fce_0102_2001_06_27 Q;_nphd_ n6_a_fce_0102_2001_06_26->n6_a_fce_0102_2001_06_27 n6_a_fce_0102_2001_06_29 D n6_a_fce_0102_2001_06_26->n6_a_fce_0102_2001_06_29 n6_a_fce_0102_2001_06_31 N n6_a_fce_0102_2001_06_26->n6_a_fce_0102_2001_06_31 n6_a_fce_0102_2001_06_33 PP n6_a_fce_0102_2001_06_26->n6_a_fce_0102_2001_06_33 n6_a_fce_0102_2001_06_27->n6_a_fce_0102_2001_06_28 n6_a_fce_0102_2001_06_29->n6_a_fce_0102_2001_06_30 n6_a_fce_0102_2001_06_31->n6_a_fce_0102_2001_06_32 n6_a_fce_0102_2001_06_34 P-ROLE n6_a_fce_0102_2001_06_33->n6_a_fce_0102_2001_06_34 n6_a_fce_0102_2001_06_36 NP n6_a_fce_0102_2001_06_33->n6_a_fce_0102_2001_06_36 n6_a_fce_0102_2001_06_34->n6_a_fce_0102_2001_06_35 n6_a_fce_0102_2001_06_37 NP-GEN n6_a_fce_0102_2001_06_36->n6_a_fce_0102_2001_06_37 n6_a_fce_0102_2001_06_40 NS n6_a_fce_0102_2001_06_36->n6_a_fce_0102_2001_06_40 n6_a_fce_0102_2001_06_38 PRO;_genm_ n6_a_fce_0102_2001_06_37->n6_a_fce_0102_2001_06_38 n6_a_fce_0102_2001_06_38->n6_a_fce_0102_2001_06_39 n6_a_fce_0102_2001_06_40->n6_a_fce_0102_2001_06_41 n6_a_fce_0102_2001_06_42->n6_a_fce_0102_2001_06_43 
( (IP-IMP (ADVP-NIM (ADV Then;{then}))
          (VB;_Dn.pr_ write;{write[to]})
          (NP-OB1 (D a;{a})
                  (N letter;{letter}))
          (PP-OB2 (P-ROLE to;{to})
                  (NP;{BELINDA} (NPR Belinda;{Belinda})
                                (NPR Marriott;{Marriott})))
          (PUNC ,)
          (PP-SCON (IP-PPL2 (VAG;_Tn_ including;{include})
                            (NP-OB1 (Q;_nphd_ all;{all})
                                    (D the;{the})
                                    (N information;{information})
                                    (PP (P-ROLE in;{in})
                                        (NP (NP-GEN (PRO;_genm_ your;{your}))
                                            (NS notes;{note}))))))
          (PUNC .))
  (ID 6_a_fce_0102_2001_06))