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 z_000_6_a_fce_0102_2001_06_22 r_0006_0010__all_quant all [quant] z_000_6_a_fce_0102_2001_06_22->r_0006_0010__all_quant [conj1] r_0006_0002__write write z_000_6_a_fce_0102_2001_06_22->r_0006_0002__write [conj2] r_0006_0011__the_r_0006_0012__information the information r_0006_0010__all_quant->r_0006_0011__the_r_0006_0012__information [restriction] r_0006_0009__including including r_0006_0010__all_quant->r_0006_0009__including [scope] 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_0006__Belinda_r_0006_0007__Marriott Belinda Marriott r_0006_0002__write->r_0006_0006__Belinda_r_0006_0007__Marriott [arg2] 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_0001__Then Then r_0006_0002__write->r_0006_0001__Then [nim] r_0006_0015__notes notes r_0006_0014__your your r_0006_0015__notes->r_0006_0014__your [gen] r_0006_0011__the_r_0006_0012__information->r_0006_0015__notes in r_0006_0009__including->r_0006_0011__the_r_0006_0012__information [arg1] r_0006_0009__including->z_000_6_a_fce_0102_2001_06_1 [arg0] 
fof(formula,axiom,
    ? [R_0006_0001__THEN,R_0006_0003__A_R_0006_0004__LETTER,R_0006_0006__BELINDA_R_0006_0007__MARRIOTT,Z_000_6_A_FCE_0102_2001_06_1,R_0006_0002__WRITE,Z_000_6_A_FCE_0102_2001_06_22] :
      ( r_0006_0001__Then(R_0006_0001__THEN)
      & r_0006_0003__a_r_0006_0004__letter(R_0006_0003__A_R_0006_0004__LETTER)
      & r_0006_0006__Belinda_r_0006_0007__Marriott(R_0006_0006__BELINDA_R_0006_0007__MARRIOTT)
      & z_000_6_a_fce_0102_2001_06_1(Z_000_6_A_FCE_0102_2001_06_1)
      & z_000_6_a_fce_0102_2001_06_22(Z_000_6_A_FCE_0102_2001_06_22)
      & ! [R_0006_0011__THE_R_0006_0012__INFORMATION,R_0006_0014__YOUR,R_0006_0015__NOTES] :
          ( ( r_0006_0014__your(R_0006_0014__YOUR)
            & r_0006_0011__the_r_0006_0012__information(R_0006_0011__THE_R_0006_0012__INFORMATION)
            & has_r_0006_0013__in(R_0006_0011__THE_R_0006_0012__INFORMATION,R_0006_0015__NOTES)
            & ~ has_gen(R_0006_0015__NOTES,R_0006_0014__YOUR) )
         => ? [R_0006_0009__INCLUDING] :
              ( r_0006_0009__including(R_0006_0009__INCLUDING)
              & has_arg0(R_0006_0009__INCLUDING,Z_000_6_A_FCE_0102_2001_06_1)
              & has_arg1(R_0006_0009__INCLUDING,R_0006_0011__THE_R_0006_0012__INFORMATION) ) )
      & has_conj2(Z_000_6_A_FCE_0102_2001_06_22,R_0006_0002__WRITE)
      & r_0006_0002__write(R_0006_0002__WRITE)
      & has_arg0(R_0006_0002__WRITE,Z_000_6_A_FCE_0102_2001_06_1)
      & has_arg2(R_0006_0002__WRITE,R_0006_0006__BELINDA_R_0006_0007__MARRIOTT)
      & has_arg1(R_0006_0002__WRITE,R_0006_0003__A_R_0006_0004__LETTER)
      & has_nim2(R_0006_0002__WRITE,R_0006_0001__THEN) ) ).


n6_a_fce_0102_2001_06 n6_a_fce_0102_2001_06__1_1_1_1 Then n6_a_fce_0102_2001_06__1_2_1 write n6_a_fce_0102_2001_06__1_3_1_1 a n6_a_fce_0102_2001_06__1_3_2_1 letter n6_a_fce_0102_2001_06__1_4_1_1 to n6_a_fce_0102_2001_06__1_4_2_1_1 Belinda n6_a_fce_0102_2001_06__1_4_2_2_1 Marriott n6_a_fce_0102_2001_06__1_5_1 , n6_a_fce_0102_2001_06__1_6_1_1_1 including n6_a_fce_0102_2001_06__1_6_1_2_1_1 all n6_a_fce_0102_2001_06__1_6_1_2_2_1 the n6_a_fce_0102_2001_06__1_6_1_2_3_1 information n6_a_fce_0102_2001_06__1_6_1_2_4_1_1 in n6_a_fce_0102_2001_06__1_6_1_2_4_2_1_1_1 your n6_a_fce_0102_2001_06__1_6_1_2_4_2_2_1 notes n6_a_fce_0102_2001_06__1_7_1 . n6_a_fce_0102_2001_06__1 IP-IMP n6_a_fce_0102_2001_06__1_1 ADVP-NIM n6_a_fce_0102_2001_06__1->n6_a_fce_0102_2001_06__1_1 n6_a_fce_0102_2001_06__1_2 VB;_Dn.pr_ n6_a_fce_0102_2001_06__1->n6_a_fce_0102_2001_06__1_2 n6_a_fce_0102_2001_06__1_3 NP-OB1 n6_a_fce_0102_2001_06__1->n6_a_fce_0102_2001_06__1_3 n6_a_fce_0102_2001_06__1_4 PP-OB2 n6_a_fce_0102_2001_06__1->n6_a_fce_0102_2001_06__1_4 n6_a_fce_0102_2001_06__1_5 PUNC n6_a_fce_0102_2001_06__1->n6_a_fce_0102_2001_06__1_5 n6_a_fce_0102_2001_06__1_6 PP-SCON n6_a_fce_0102_2001_06__1->n6_a_fce_0102_2001_06__1_6 n6_a_fce_0102_2001_06__1_7 PUNC n6_a_fce_0102_2001_06__1->n6_a_fce_0102_2001_06__1_7 n6_a_fce_0102_2001_06__1_1_1 ADV n6_a_fce_0102_2001_06__1_1->n6_a_fce_0102_2001_06__1_1_1 n6_a_fce_0102_2001_06__1_1_1->n6_a_fce_0102_2001_06__1_1_1_1 n6_a_fce_0102_2001_06__1_2->n6_a_fce_0102_2001_06__1_2_1 n6_a_fce_0102_2001_06__1_3_1 D n6_a_fce_0102_2001_06__1_3->n6_a_fce_0102_2001_06__1_3_1 n6_a_fce_0102_2001_06__1_3_2 N n6_a_fce_0102_2001_06__1_3->n6_a_fce_0102_2001_06__1_3_2 n6_a_fce_0102_2001_06__1_3_1->n6_a_fce_0102_2001_06__1_3_1_1 n6_a_fce_0102_2001_06__1_3_2->n6_a_fce_0102_2001_06__1_3_2_1 n6_a_fce_0102_2001_06__1_4_1 P-ROLE n6_a_fce_0102_2001_06__1_4->n6_a_fce_0102_2001_06__1_4_1 n6_a_fce_0102_2001_06__1_4_2 NP n6_a_fce_0102_2001_06__1_4->n6_a_fce_0102_2001_06__1_4_2 n6_a_fce_0102_2001_06__1_4_1->n6_a_fce_0102_2001_06__1_4_1_1 n6_a_fce_0102_2001_06__1_4_2_1 NPR n6_a_fce_0102_2001_06__1_4_2->n6_a_fce_0102_2001_06__1_4_2_1 n6_a_fce_0102_2001_06__1_4_2_2 NPR n6_a_fce_0102_2001_06__1_4_2->n6_a_fce_0102_2001_06__1_4_2_2 n6_a_fce_0102_2001_06__1_4_2_1->n6_a_fce_0102_2001_06__1_4_2_1_1 n6_a_fce_0102_2001_06__1_4_2_2->n6_a_fce_0102_2001_06__1_4_2_2_1 n6_a_fce_0102_2001_06__1_5->n6_a_fce_0102_2001_06__1_5_1 n6_a_fce_0102_2001_06__1_6_1 IP-PPL2 n6_a_fce_0102_2001_06__1_6->n6_a_fce_0102_2001_06__1_6_1 n6_a_fce_0102_2001_06__1_6_1_1 VAG;_Tn_ n6_a_fce_0102_2001_06__1_6_1->n6_a_fce_0102_2001_06__1_6_1_1 n6_a_fce_0102_2001_06__1_6_1_2 NP-OB1 n6_a_fce_0102_2001_06__1_6_1->n6_a_fce_0102_2001_06__1_6_1_2 n6_a_fce_0102_2001_06__1_6_1_1->n6_a_fce_0102_2001_06__1_6_1_1_1 n6_a_fce_0102_2001_06__1_6_1_2_1 Q;_nphd_ n6_a_fce_0102_2001_06__1_6_1_2->n6_a_fce_0102_2001_06__1_6_1_2_1 n6_a_fce_0102_2001_06__1_6_1_2_2 D n6_a_fce_0102_2001_06__1_6_1_2->n6_a_fce_0102_2001_06__1_6_1_2_2 n6_a_fce_0102_2001_06__1_6_1_2_3 N n6_a_fce_0102_2001_06__1_6_1_2->n6_a_fce_0102_2001_06__1_6_1_2_3 n6_a_fce_0102_2001_06__1_6_1_2_4 PP n6_a_fce_0102_2001_06__1_6_1_2->n6_a_fce_0102_2001_06__1_6_1_2_4 n6_a_fce_0102_2001_06__1_6_1_2_1->n6_a_fce_0102_2001_06__1_6_1_2_1_1 n6_a_fce_0102_2001_06__1_6_1_2_2->n6_a_fce_0102_2001_06__1_6_1_2_2_1 n6_a_fce_0102_2001_06__1_6_1_2_3->n6_a_fce_0102_2001_06__1_6_1_2_3_1 n6_a_fce_0102_2001_06__1_6_1_2_4_1 P-ROLE n6_a_fce_0102_2001_06__1_6_1_2_4->n6_a_fce_0102_2001_06__1_6_1_2_4_1 n6_a_fce_0102_2001_06__1_6_1_2_4_2 NP n6_a_fce_0102_2001_06__1_6_1_2_4->n6_a_fce_0102_2001_06__1_6_1_2_4_2 n6_a_fce_0102_2001_06__1_6_1_2_4_1->n6_a_fce_0102_2001_06__1_6_1_2_4_1_1 n6_a_fce_0102_2001_06__1_6_1_2_4_2_1 NP-GEN n6_a_fce_0102_2001_06__1_6_1_2_4_2->n6_a_fce_0102_2001_06__1_6_1_2_4_2_1 n6_a_fce_0102_2001_06__1_6_1_2_4_2_2 NS n6_a_fce_0102_2001_06__1_6_1_2_4_2->n6_a_fce_0102_2001_06__1_6_1_2_4_2_2 n6_a_fce_0102_2001_06__1_6_1_2_4_2_1_1 PRO;_genm_ n6_a_fce_0102_2001_06__1_6_1_2_4_2_1->n6_a_fce_0102_2001_06__1_6_1_2_4_2_1_1 n6_a_fce_0102_2001_06__1_6_1_2_4_2_1_1->n6_a_fce_0102_2001_06__1_6_1_2_4_2_1_1_1 n6_a_fce_0102_2001_06__1_6_1_2_4_2_2->n6_a_fce_0102_2001_06__1_6_1_2_4_2_2_1 n6_a_fce_0102_2001_06__1_7->n6_a_fce_0102_2001_06__1_7_1 
( (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))