Context                Previous, Next                Top


5_a_fce_0100_2000_06
Then, using all the information in your notes, write a suitable reply.

%3 r_0005_0003__using using r_0005_0005__the_r_0005_0006__information the information r_0005_0003__using->r_0005_0005__the_r_0005_0006__information [arg1] z_000_5_a_fce_0100_2000_06_1 r_0005_0003__using->z_000_5_a_fce_0100_2000_06_1 [arg0] r_0005_0009__notes notes r_0005_0005__the_r_0005_0006__information->r_0005_0009__notes in r_0005_0004__all_quant all [quant] r_0005_0004__all_quant->r_0005_0003__using [scope] r_0005_0004__all_quant->r_0005_0005__the_r_0005_0006__information [restriction] r_0005_0008__your your r_0005_0009__notes->r_0005_0008__your [gen] r_0005_0011__write write r_0005_0011__write->z_000_5_a_fce_0100_2000_06_1 [arg0] r_0005_0001__Then Then r_0005_0011__write->r_0005_0001__Then [nim] r_0005_0012__a_r_0005_0014__reply a reply r_0005_0011__write->r_0005_0012__a_r_0005_0014__reply [arg1] r_0005_0013__suitable suitable r_0005_0012__a_r_0005_0014__reply->r_0005_0013__suitable [attrib] z_000_5_a_fce_0100_2000_06_7 z_000_5_a_fce_0100_2000_06_7->r_0005_0004__all_quant [restriction] z_000_5_a_fce_0100_2000_06_7->r_0005_0011__write [scope] 
arc(r_0005_0003__using, r_0005_0005__the_r_0005_0006__information, arg1).
arc(r_0005_0003__using, z_000_5_a_fce_0100_2000_06_1, arg0).
arc(r_0005_0004__all_quant, r_0005_0003__using, scope).
arc(r_0005_0004__all_quant, r_0005_0005__the_r_0005_0006__information, restriction).
arc(r_0005_0005__the_r_0005_0006__information, r_0005_0009__notes, r_0005_0007__in).
arc(r_0005_0009__notes, r_0005_0008__your, gen).
arc(r_0005_0011__write, r_0005_0001__Then, nim2).
arc(r_0005_0011__write, r_0005_0012__a_r_0005_0014__reply, arg1).
arc(r_0005_0011__write, z_000_5_a_fce_0100_2000_06_1, arg0).
arc(r_0005_0012__a_r_0005_0014__reply, r_0005_0013__suitable, attrib34).
arc(z_000_5_a_fce_0100_2000_06_7, r_0005_0004__all_quant, restriction).
arc(z_000_5_a_fce_0100_2000_06_7, r_0005_0011__write, scope).


%3 z_000_5_a_fce_0100_2000_06_7 r_0005_0011__write write z_000_5_a_fce_0100_2000_06_7->r_0005_0011__write [conj2] r_0005_0004__all_quant all [quant] z_000_5_a_fce_0100_2000_06_7->r_0005_0004__all_quant [conj1] r_0005_0012__a_r_0005_0014__reply a reply r_0005_0011__write->r_0005_0012__a_r_0005_0014__reply [arg1] z_000_5_a_fce_0100_2000_06_1 r_0005_0011__write->z_000_5_a_fce_0100_2000_06_1 [arg0] r_0005_0001__Then Then r_0005_0011__write->r_0005_0001__Then [nim] r_0005_0005__the_r_0005_0006__information the information r_0005_0004__all_quant->r_0005_0005__the_r_0005_0006__information [restriction] r_0005_0003__using using r_0005_0004__all_quant->r_0005_0003__using [scope] r_0005_0013__suitable suitable r_0005_0012__a_r_0005_0014__reply->r_0005_0013__suitable [attrib] r_0005_0009__notes notes r_0005_0008__your your r_0005_0009__notes->r_0005_0008__your [gen] r_0005_0005__the_r_0005_0006__information->r_0005_0009__notes in r_0005_0003__using->z_000_5_a_fce_0100_2000_06_1 [arg0] r_0005_0003__using->r_0005_0005__the_r_0005_0006__information [arg1] 
fof(formula,axiom,
    ? [R_0005_0001__THEN,R_0005_0013__SUITABLE,R_0005_0012__A_R_0005_0014__REPLY,Z_000_5_A_FCE_0100_2000_06_1,R_0005_0011__WRITE,Z_000_5_A_FCE_0100_2000_06_7] :
      ( r_0005_0001__Then(R_0005_0001__THEN)
      & r_0005_0013__suitable(R_0005_0013__SUITABLE)
      & z_000_5_a_fce_0100_2000_06_1(Z_000_5_A_FCE_0100_2000_06_1)
      & z_000_5_a_fce_0100_2000_06_7(Z_000_5_A_FCE_0100_2000_06_7)
      & has_conj2(Z_000_5_A_FCE_0100_2000_06_7,R_0005_0011__WRITE)
      & r_0005_0011__write(R_0005_0011__WRITE)
      & has_arg0(R_0005_0011__WRITE,Z_000_5_A_FCE_0100_2000_06_1)
      & has_arg1(R_0005_0011__WRITE,R_0005_0012__A_R_0005_0014__REPLY)
      & r_0005_0012__a_r_0005_0014__reply(R_0005_0012__A_R_0005_0014__REPLY)
      & has_attrib34(R_0005_0012__A_R_0005_0014__REPLY,R_0005_0013__SUITABLE)
      & has_nim2(R_0005_0011__WRITE,R_0005_0001__THEN)
      & ! [R_0005_0005__THE_R_0005_0006__INFORMATION,R_0005_0008__YOUR,R_0005_0009__NOTES] :
          ( ( r_0005_0008__your(R_0005_0008__YOUR)
            & r_0005_0005__the_r_0005_0006__information(R_0005_0005__THE_R_0005_0006__INFORMATION)
            & has_r_0005_0007__in(R_0005_0005__THE_R_0005_0006__INFORMATION,R_0005_0009__NOTES)
            & ~ has_gen(R_0005_0009__NOTES,R_0005_0008__YOUR) )
         => ? [R_0005_0003__USING] :
              ( r_0005_0003__using(R_0005_0003__USING)
              & has_arg0(R_0005_0003__USING,Z_000_5_A_FCE_0100_2000_06_1)
              & has_arg1(R_0005_0003__USING,R_0005_0005__THE_R_0005_0006__INFORMATION) ) ) ) ).


n5_a_fce_0100_2000_06 n5_a_fce_0100_2000_06__1_1_1_1 Then n5_a_fce_0100_2000_06__1_2_1 , n5_a_fce_0100_2000_06__1_3_1_1_1 using n5_a_fce_0100_2000_06__1_3_1_2_1_1 all n5_a_fce_0100_2000_06__1_3_1_2_2_1 the n5_a_fce_0100_2000_06__1_3_1_2_3_1 information n5_a_fce_0100_2000_06__1_3_1_2_4_1_1 in n5_a_fce_0100_2000_06__1_3_1_2_4_2_1_1_1 your n5_a_fce_0100_2000_06__1_3_1_2_4_2_2_1 notes n5_a_fce_0100_2000_06__1_4_1 , n5_a_fce_0100_2000_06__1_5_1 write n5_a_fce_0100_2000_06__1_6_1_1 a n5_a_fce_0100_2000_06__1_6_2_1_1 suitable n5_a_fce_0100_2000_06__1_6_3_1 reply n5_a_fce_0100_2000_06__1_7_1 . n5_a_fce_0100_2000_06__1 IP-IMP n5_a_fce_0100_2000_06__1_1 ADVP-NIM n5_a_fce_0100_2000_06__1->n5_a_fce_0100_2000_06__1_1 n5_a_fce_0100_2000_06__1_2 PUNC n5_a_fce_0100_2000_06__1->n5_a_fce_0100_2000_06__1_2 n5_a_fce_0100_2000_06__1_3 PP-SCON n5_a_fce_0100_2000_06__1->n5_a_fce_0100_2000_06__1_3 n5_a_fce_0100_2000_06__1_4 PUNC n5_a_fce_0100_2000_06__1->n5_a_fce_0100_2000_06__1_4 n5_a_fce_0100_2000_06__1_5 VB;_Tn_ n5_a_fce_0100_2000_06__1->n5_a_fce_0100_2000_06__1_5 n5_a_fce_0100_2000_06__1_6 NP-OB1 n5_a_fce_0100_2000_06__1->n5_a_fce_0100_2000_06__1_6 n5_a_fce_0100_2000_06__1_7 PUNC n5_a_fce_0100_2000_06__1->n5_a_fce_0100_2000_06__1_7 n5_a_fce_0100_2000_06__1_1_1 ADV n5_a_fce_0100_2000_06__1_1->n5_a_fce_0100_2000_06__1_1_1 n5_a_fce_0100_2000_06__1_1_1->n5_a_fce_0100_2000_06__1_1_1_1 n5_a_fce_0100_2000_06__1_2->n5_a_fce_0100_2000_06__1_2_1 n5_a_fce_0100_2000_06__1_3_1 IP-PPL2 n5_a_fce_0100_2000_06__1_3->n5_a_fce_0100_2000_06__1_3_1 n5_a_fce_0100_2000_06__1_3_1_1 VAG;_Tn_ n5_a_fce_0100_2000_06__1_3_1->n5_a_fce_0100_2000_06__1_3_1_1 n5_a_fce_0100_2000_06__1_3_1_2 NP-OB1 n5_a_fce_0100_2000_06__1_3_1->n5_a_fce_0100_2000_06__1_3_1_2 n5_a_fce_0100_2000_06__1_3_1_1->n5_a_fce_0100_2000_06__1_3_1_1_1 n5_a_fce_0100_2000_06__1_3_1_2_1 Q;_nphd_ n5_a_fce_0100_2000_06__1_3_1_2->n5_a_fce_0100_2000_06__1_3_1_2_1 n5_a_fce_0100_2000_06__1_3_1_2_2 D n5_a_fce_0100_2000_06__1_3_1_2->n5_a_fce_0100_2000_06__1_3_1_2_2 n5_a_fce_0100_2000_06__1_3_1_2_3 N n5_a_fce_0100_2000_06__1_3_1_2->n5_a_fce_0100_2000_06__1_3_1_2_3 n5_a_fce_0100_2000_06__1_3_1_2_4 PP n5_a_fce_0100_2000_06__1_3_1_2->n5_a_fce_0100_2000_06__1_3_1_2_4 n5_a_fce_0100_2000_06__1_3_1_2_1->n5_a_fce_0100_2000_06__1_3_1_2_1_1 n5_a_fce_0100_2000_06__1_3_1_2_2->n5_a_fce_0100_2000_06__1_3_1_2_2_1 n5_a_fce_0100_2000_06__1_3_1_2_3->n5_a_fce_0100_2000_06__1_3_1_2_3_1 n5_a_fce_0100_2000_06__1_3_1_2_4_1 P-ROLE n5_a_fce_0100_2000_06__1_3_1_2_4->n5_a_fce_0100_2000_06__1_3_1_2_4_1 n5_a_fce_0100_2000_06__1_3_1_2_4_2 NP n5_a_fce_0100_2000_06__1_3_1_2_4->n5_a_fce_0100_2000_06__1_3_1_2_4_2 n5_a_fce_0100_2000_06__1_3_1_2_4_1->n5_a_fce_0100_2000_06__1_3_1_2_4_1_1 n5_a_fce_0100_2000_06__1_3_1_2_4_2_1 NP-GEN n5_a_fce_0100_2000_06__1_3_1_2_4_2->n5_a_fce_0100_2000_06__1_3_1_2_4_2_1 n5_a_fce_0100_2000_06__1_3_1_2_4_2_2 NS n5_a_fce_0100_2000_06__1_3_1_2_4_2->n5_a_fce_0100_2000_06__1_3_1_2_4_2_2 n5_a_fce_0100_2000_06__1_3_1_2_4_2_1_1 PRO;_genm_ n5_a_fce_0100_2000_06__1_3_1_2_4_2_1->n5_a_fce_0100_2000_06__1_3_1_2_4_2_1_1 n5_a_fce_0100_2000_06__1_3_1_2_4_2_1_1->n5_a_fce_0100_2000_06__1_3_1_2_4_2_1_1_1 n5_a_fce_0100_2000_06__1_3_1_2_4_2_2->n5_a_fce_0100_2000_06__1_3_1_2_4_2_2_1 n5_a_fce_0100_2000_06__1_4->n5_a_fce_0100_2000_06__1_4_1 n5_a_fce_0100_2000_06__1_5->n5_a_fce_0100_2000_06__1_5_1 n5_a_fce_0100_2000_06__1_6_1 D n5_a_fce_0100_2000_06__1_6->n5_a_fce_0100_2000_06__1_6_1 n5_a_fce_0100_2000_06__1_6_2 ADJP n5_a_fce_0100_2000_06__1_6->n5_a_fce_0100_2000_06__1_6_2 n5_a_fce_0100_2000_06__1_6_3 N n5_a_fce_0100_2000_06__1_6->n5_a_fce_0100_2000_06__1_6_3 n5_a_fce_0100_2000_06__1_6_1->n5_a_fce_0100_2000_06__1_6_1_1 n5_a_fce_0100_2000_06__1_6_2_1 ADJ n5_a_fce_0100_2000_06__1_6_2->n5_a_fce_0100_2000_06__1_6_2_1 n5_a_fce_0100_2000_06__1_6_2_1->n5_a_fce_0100_2000_06__1_6_2_1_1 n5_a_fce_0100_2000_06__1_6_3->n5_a_fce_0100_2000_06__1_6_3_1 n5_a_fce_0100_2000_06__1_7->n5_a_fce_0100_2000_06__1_7_1 
( (IP-IMP (ADVP-NIM (ADV Then;{then}))
          (PUNC ,)
          (PP-SCON (IP-PPL2 (VAG;_Tn_ using;{use})
                            (NP-OB1 (Q;_nphd_ all;{all})
                                    (D the;{the})
                                    (N information;{information})
                                    (PP (P-ROLE in;{in})
                                        (NP;{NOTES} (NP-GEN (PRO;_genm_ your;{your}))
                                                    (NS notes;{note}))))))
          (PUNC ,)
          (VB;_Tn_ write;{write})
          (NP-OB1 (D a;{a})
                  (ADJP (ADJ suitable;{suitable}))
                  (N reply;{reply}))
          (PUNC .))
  (ID 5_a_fce_0100_2000_06))