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 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 [conj1] z_000_5_a_fce_0100_2000_06_7->r_0005_0011__write [conj2] 
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_4 Then n5_a_fce_0100_2000_06_6 , n5_a_fce_0100_2000_06_10 using n5_a_fce_0100_2000_06_13 all n5_a_fce_0100_2000_06_15 the n5_a_fce_0100_2000_06_17 information n5_a_fce_0100_2000_06_20 in n5_a_fce_0100_2000_06_24 your n5_a_fce_0100_2000_06_26 notes n5_a_fce_0100_2000_06_28 , n5_a_fce_0100_2000_06_30 write n5_a_fce_0100_2000_06_33 a n5_a_fce_0100_2000_06_36 suitable n5_a_fce_0100_2000_06_38 reply n5_a_fce_0100_2000_06_40 . n5_a_fce_0100_2000_06_1 IP-IMP n5_a_fce_0100_2000_06_2 ADVP-NIM n5_a_fce_0100_2000_06_1->n5_a_fce_0100_2000_06_2 n5_a_fce_0100_2000_06_5 PUNC n5_a_fce_0100_2000_06_1->n5_a_fce_0100_2000_06_5 n5_a_fce_0100_2000_06_7 PP-SCON n5_a_fce_0100_2000_06_1->n5_a_fce_0100_2000_06_7 n5_a_fce_0100_2000_06_27 PUNC n5_a_fce_0100_2000_06_1->n5_a_fce_0100_2000_06_27 n5_a_fce_0100_2000_06_29 VB;_Tn_ n5_a_fce_0100_2000_06_1->n5_a_fce_0100_2000_06_29 n5_a_fce_0100_2000_06_31 NP-OB1 n5_a_fce_0100_2000_06_1->n5_a_fce_0100_2000_06_31 n5_a_fce_0100_2000_06_39 PUNC n5_a_fce_0100_2000_06_1->n5_a_fce_0100_2000_06_39 n5_a_fce_0100_2000_06_3 ADV n5_a_fce_0100_2000_06_2->n5_a_fce_0100_2000_06_3 n5_a_fce_0100_2000_06_3->n5_a_fce_0100_2000_06_4 n5_a_fce_0100_2000_06_5->n5_a_fce_0100_2000_06_6 n5_a_fce_0100_2000_06_8 IP-PPL2 n5_a_fce_0100_2000_06_7->n5_a_fce_0100_2000_06_8 n5_a_fce_0100_2000_06_9 VAG;_Tn_ n5_a_fce_0100_2000_06_8->n5_a_fce_0100_2000_06_9 n5_a_fce_0100_2000_06_11 NP-OB1 n5_a_fce_0100_2000_06_8->n5_a_fce_0100_2000_06_11 n5_a_fce_0100_2000_06_9->n5_a_fce_0100_2000_06_10 n5_a_fce_0100_2000_06_12 Q;_nphd_ n5_a_fce_0100_2000_06_11->n5_a_fce_0100_2000_06_12 n5_a_fce_0100_2000_06_14 D n5_a_fce_0100_2000_06_11->n5_a_fce_0100_2000_06_14 n5_a_fce_0100_2000_06_16 N n5_a_fce_0100_2000_06_11->n5_a_fce_0100_2000_06_16 n5_a_fce_0100_2000_06_18 PP n5_a_fce_0100_2000_06_11->n5_a_fce_0100_2000_06_18 n5_a_fce_0100_2000_06_12->n5_a_fce_0100_2000_06_13 n5_a_fce_0100_2000_06_14->n5_a_fce_0100_2000_06_15 n5_a_fce_0100_2000_06_16->n5_a_fce_0100_2000_06_17 n5_a_fce_0100_2000_06_19 P-ROLE n5_a_fce_0100_2000_06_18->n5_a_fce_0100_2000_06_19 n5_a_fce_0100_2000_06_21 NP n5_a_fce_0100_2000_06_18->n5_a_fce_0100_2000_06_21 n5_a_fce_0100_2000_06_19->n5_a_fce_0100_2000_06_20 n5_a_fce_0100_2000_06_22 NP-GEN n5_a_fce_0100_2000_06_21->n5_a_fce_0100_2000_06_22 n5_a_fce_0100_2000_06_25 NS n5_a_fce_0100_2000_06_21->n5_a_fce_0100_2000_06_25 n5_a_fce_0100_2000_06_23 PRO;_genm_ n5_a_fce_0100_2000_06_22->n5_a_fce_0100_2000_06_23 n5_a_fce_0100_2000_06_23->n5_a_fce_0100_2000_06_24 n5_a_fce_0100_2000_06_25->n5_a_fce_0100_2000_06_26 n5_a_fce_0100_2000_06_27->n5_a_fce_0100_2000_06_28 n5_a_fce_0100_2000_06_29->n5_a_fce_0100_2000_06_30 n5_a_fce_0100_2000_06_32 D n5_a_fce_0100_2000_06_31->n5_a_fce_0100_2000_06_32 n5_a_fce_0100_2000_06_34 ADJP n5_a_fce_0100_2000_06_31->n5_a_fce_0100_2000_06_34 n5_a_fce_0100_2000_06_37 N n5_a_fce_0100_2000_06_31->n5_a_fce_0100_2000_06_37 n5_a_fce_0100_2000_06_32->n5_a_fce_0100_2000_06_33 n5_a_fce_0100_2000_06_35 ADJ n5_a_fce_0100_2000_06_34->n5_a_fce_0100_2000_06_35 n5_a_fce_0100_2000_06_35->n5_a_fce_0100_2000_06_36 n5_a_fce_0100_2000_06_37->n5_a_fce_0100_2000_06_38 n5_a_fce_0100_2000_06_39->n5_a_fce_0100_2000_06_40 
( (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))