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,
    ? [Z_5_A_FCE_100_2000_6_7,R_5_11_WRITE,Z_5_A_FCE_100_2000_6_1,R_5_12_A_REPLY,R_5_13_SUITABLE,R_5_1_THEN] :
      ( suitable(R_5_13_SUITABLE)
      & then(R_5_1_THEN)
      & ! [R_5_5_THE_INFORMATION,R_5_9_NOTES,R_5_8_YOUR] :
          ( ( your(R_5_8_YOUR)
            & the_information(R_5_5_THE_INFORMATION)
            & in(R_5_5_THE_INFORMATION,R_5_9_NOTES)
            & notes(R_5_9_NOTES)
            & gen(R_5_9_NOTES,R_5_8_YOUR) )
         => ? [R_5_3_USING] : using(R_5_3_USING,Z_5_A_FCE_100_2000_6_1,R_5_5_THE_INFORMATION) )
      & conj1(CONJ1)
      & z_5_a_fce_100_2000_6_7(Z_5_A_FCE_100_2000_6_7)
      & conj2(Z_5_A_FCE_100_2000_6_7,R_5_11_WRITE)
      & write(R_5_11_WRITE,Z_5_A_FCE_100_2000_6_1,R_5_12_A_REPLY)
      & a_reply(R_5_12_A_REPLY)
      & attrib34(R_5_12_A_REPLY,R_5_13_SUITABLE)
      & nim2(R_5_11_WRITE,R_5_1_THEN) ) ).


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))