Context                Previous, Next                Top


7_a_fce_0100_2001_06
Then write a reply to her, including all the information she asks for.

%3 r_0007_0002__write write r_0007_0001__Then Then r_0007_0002__write->r_0007_0001__Then [nim] r_0007_0003__a_r_0007_0004__reply a reply r_0007_0002__write->r_0007_0003__a_r_0007_0004__reply [arg1] r_0007_0006__her her r_0007_0002__write->r_0007_0006__her [arg2] z_000_7_a_fce_0100_2001_06_1 r_0007_0002__write->z_000_7_a_fce_0100_2001_06_1 [arg0] r_0007_0008__including including r_0007_0008__including->z_000_7_a_fce_0100_2001_06_1 [arg0] r_0007_0010__the_r_0007_0011__information the information r_0007_0008__including->r_0007_0010__the_r_0007_0011__information [arg1] r_0007_0009__all_quant all [quant] r_0007_0009__all_quant->r_0007_0008__including [scope] r_0007_0009__all_quant->r_0007_0010__the_r_0007_0011__information [restriction] r_0007_0013__asks asks r_0007_0013__asks->r_0007_0006__her [arg0] r_0007_0013__asks->r_0007_0010__the_r_0007_0011__information for [clr] z_000_7_a_fce_0100_2001_06_20 z_000_7_a_fce_0100_2001_06_20->r_0007_0002__write [scope] z_000_7_a_fce_0100_2001_06_20->r_0007_0009__all_quant [restriction] 
arc(r_0007_0002__write, r_0007_0001__Then, nim2).
arc(r_0007_0002__write, r_0007_0003__a_r_0007_0004__reply, arg1).
arc(r_0007_0002__write, r_0007_0006__her, arg2).
arc(r_0007_0002__write, z_000_7_a_fce_0100_2001_06_1, arg0).
arc(r_0007_0008__including, r_0007_0010__the_r_0007_0011__information, arg1).
arc(r_0007_0008__including, z_000_7_a_fce_0100_2001_06_1, arg0).
arc(r_0007_0009__all_quant, r_0007_0008__including, scope).
arc(r_0007_0009__all_quant, r_0007_0010__the_r_0007_0011__information, restriction).
arc(r_0007_0013__asks, r_0007_0006__her, arg0).
arc(r_0007_0013__asks, r_0007_0010__the_r_0007_0011__information, r_0007_0014__for_clr40).
arc(z_000_7_a_fce_0100_2001_06_20, r_0007_0002__write, scope).
arc(z_000_7_a_fce_0100_2001_06_20, r_0007_0009__all_quant, restriction).


%3 r_0007_0002__write write r_0007_0001__Then Then r_0007_0002__write->r_0007_0001__Then [nim] r_0007_0003__a_r_0007_0004__reply a reply r_0007_0002__write->r_0007_0003__a_r_0007_0004__reply [arg1] r_0007_0006__her her r_0007_0002__write->r_0007_0006__her [arg2] z_000_7_a_fce_0100_2001_06_1 r_0007_0002__write->z_000_7_a_fce_0100_2001_06_1 [arg0] r_0007_0008__including including r_0007_0008__including->z_000_7_a_fce_0100_2001_06_1 [arg0] r_0007_0010__the_r_0007_0011__information the information r_0007_0008__including->r_0007_0010__the_r_0007_0011__information [arg1] r_0007_0009__all_quant all [quant] r_0007_0009__all_quant->r_0007_0008__including [scope] r_0007_0013__asks asks r_0007_0009__all_quant->r_0007_0013__asks [restriction] r_0007_0013__asks->r_0007_0006__her [arg0] r_0007_0013__asks->r_0007_0010__the_r_0007_0011__information for [clr] z_000_7_a_fce_0100_2001_06_20 z_000_7_a_fce_0100_2001_06_20->r_0007_0002__write [conj2] z_000_7_a_fce_0100_2001_06_20->r_0007_0009__all_quant [conj1] 
fof(formula,axiom,
    ? [Z_7_A_FCE_100_2001_6_20,R_7_2_WRITE,Z_7_A_FCE_100_2001_6_1,R_7_3_A_REPLY,R_7_6_HER,R_7_1_THEN] :
      ( a_reply(R_7_3_A_REPLY)
      & her(R_7_6_HER)
      & then(R_7_1_THEN)
      & ! [R_7_13_ASKS,R_7_10_THE_INFORMATION] :
          ( ( the_information(R_7_10_THE_INFORMATION)
            & asks(R_7_13_ASKS,R_7_6_HER)
            & for_clr40(R_7_13_ASKS,R_7_10_THE_INFORMATION) )
         => ? [R_7_8_INCLUDING] : including(R_7_8_INCLUDING,Z_7_A_FCE_100_2001_6_1,R_7_10_THE_INFORMATION) )
      & conj1(CONJ1)
      & z_7_a_fce_100_2001_6_20(Z_7_A_FCE_100_2001_6_20)
      & conj2(Z_7_A_FCE_100_2001_6_20,R_7_2_WRITE)
      & write(R_7_2_WRITE,Z_7_A_FCE_100_2001_6_1,R_7_3_A_REPLY,R_7_6_HER)
      & nim2(R_7_2_WRITE,R_7_1_THEN) ) ).


n7_a_fce_0100_2001_06 n7_a_fce_0100_2001_06_4 Then n7_a_fce_0100_2001_06_6 write n7_a_fce_0100_2001_06_9 a n7_a_fce_0100_2001_06_11 reply n7_a_fce_0100_2001_06_14 to n7_a_fce_0100_2001_06_17 her n7_a_fce_0100_2001_06_19 , n7_a_fce_0100_2001_06_23 including n7_a_fce_0100_2001_06_26 all n7_a_fce_0100_2001_06_28 the n7_a_fce_0100_2001_06_30 information n7_a_fce_0100_2001_06_34 she n7_a_fce_0100_2001_06_36 asks n7_a_fce_0100_2001_06_39 for n7_a_fce_0100_2001_06_41 *T* n7_a_fce_0100_2001_06_43 . n7_a_fce_0100_2001_06_1 IP-IMP n7_a_fce_0100_2001_06_2 ADVP-NIM n7_a_fce_0100_2001_06_1->n7_a_fce_0100_2001_06_2 n7_a_fce_0100_2001_06_5 VB;_Dn.pr_ n7_a_fce_0100_2001_06_1->n7_a_fce_0100_2001_06_5 n7_a_fce_0100_2001_06_7 NP-OB1 n7_a_fce_0100_2001_06_1->n7_a_fce_0100_2001_06_7 n7_a_fce_0100_2001_06_12 PP-OB2 n7_a_fce_0100_2001_06_1->n7_a_fce_0100_2001_06_12 n7_a_fce_0100_2001_06_18 PUNC n7_a_fce_0100_2001_06_1->n7_a_fce_0100_2001_06_18 n7_a_fce_0100_2001_06_20 PP-SCON n7_a_fce_0100_2001_06_1->n7_a_fce_0100_2001_06_20 n7_a_fce_0100_2001_06_42 PUNC n7_a_fce_0100_2001_06_1->n7_a_fce_0100_2001_06_42 n7_a_fce_0100_2001_06_3 ADV n7_a_fce_0100_2001_06_2->n7_a_fce_0100_2001_06_3 n7_a_fce_0100_2001_06_3->n7_a_fce_0100_2001_06_4 n7_a_fce_0100_2001_06_5->n7_a_fce_0100_2001_06_6 n7_a_fce_0100_2001_06_8 D n7_a_fce_0100_2001_06_7->n7_a_fce_0100_2001_06_8 n7_a_fce_0100_2001_06_10 N n7_a_fce_0100_2001_06_7->n7_a_fce_0100_2001_06_10 n7_a_fce_0100_2001_06_8->n7_a_fce_0100_2001_06_9 n7_a_fce_0100_2001_06_10->n7_a_fce_0100_2001_06_11 n7_a_fce_0100_2001_06_13 P-ROLE n7_a_fce_0100_2001_06_12->n7_a_fce_0100_2001_06_13 n7_a_fce_0100_2001_06_15 NP n7_a_fce_0100_2001_06_12->n7_a_fce_0100_2001_06_15 n7_a_fce_0100_2001_06_13->n7_a_fce_0100_2001_06_14 n7_a_fce_0100_2001_06_16 PRO n7_a_fce_0100_2001_06_15->n7_a_fce_0100_2001_06_16 n7_a_fce_0100_2001_06_16->n7_a_fce_0100_2001_06_17 n7_a_fce_0100_2001_06_18->n7_a_fce_0100_2001_06_19 n7_a_fce_0100_2001_06_21 IP-PPL2 n7_a_fce_0100_2001_06_20->n7_a_fce_0100_2001_06_21 n7_a_fce_0100_2001_06_22 VAG;_Tn_ n7_a_fce_0100_2001_06_21->n7_a_fce_0100_2001_06_22 n7_a_fce_0100_2001_06_24 NP-OB1 n7_a_fce_0100_2001_06_21->n7_a_fce_0100_2001_06_24 n7_a_fce_0100_2001_06_22->n7_a_fce_0100_2001_06_23 n7_a_fce_0100_2001_06_25 Q;_nphd_ n7_a_fce_0100_2001_06_24->n7_a_fce_0100_2001_06_25 n7_a_fce_0100_2001_06_27 D n7_a_fce_0100_2001_06_24->n7_a_fce_0100_2001_06_27 n7_a_fce_0100_2001_06_29 N n7_a_fce_0100_2001_06_24->n7_a_fce_0100_2001_06_29 n7_a_fce_0100_2001_06_31 IP-REL n7_a_fce_0100_2001_06_24->n7_a_fce_0100_2001_06_31 n7_a_fce_0100_2001_06_25->n7_a_fce_0100_2001_06_26 n7_a_fce_0100_2001_06_27->n7_a_fce_0100_2001_06_28 n7_a_fce_0100_2001_06_29->n7_a_fce_0100_2001_06_30 n7_a_fce_0100_2001_06_32 NP-SBJ n7_a_fce_0100_2001_06_31->n7_a_fce_0100_2001_06_32 n7_a_fce_0100_2001_06_35 VBP;_phr_Vpr_ n7_a_fce_0100_2001_06_31->n7_a_fce_0100_2001_06_35 n7_a_fce_0100_2001_06_37 PP-CLR n7_a_fce_0100_2001_06_31->n7_a_fce_0100_2001_06_37 n7_a_fce_0100_2001_06_33 PRO n7_a_fce_0100_2001_06_32->n7_a_fce_0100_2001_06_33 n7_a_fce_0100_2001_06_33->n7_a_fce_0100_2001_06_34 n7_a_fce_0100_2001_06_35->n7_a_fce_0100_2001_06_36 n7_a_fce_0100_2001_06_38 P-ROLE n7_a_fce_0100_2001_06_37->n7_a_fce_0100_2001_06_38 n7_a_fce_0100_2001_06_40 NP n7_a_fce_0100_2001_06_37->n7_a_fce_0100_2001_06_40 n7_a_fce_0100_2001_06_38->n7_a_fce_0100_2001_06_39 n7_a_fce_0100_2001_06_40->n7_a_fce_0100_2001_06_41 n7_a_fce_0100_2001_06_42->n7_a_fce_0100_2001_06_43 
( (IP-IMP (ADVP-NIM (ADV Then;{then}))
          (VB;_Dn.pr_ write;{write[to]})
          (NP-OB1 (D a;{a})
                  (N reply;{reply}))
          (PP-OB2 (P-ROLE to;{to})
                  (NP;{SMITH} (PRO her;{her})))
          (PUNC ,)
          (PP-SCON (IP-PPL2 (VAG;_Tn_ including;{include})
                            (NP-OB1 (Q;_nphd_ all;{all})
                                    (D the;{the})
                                    (N information;{information})
                                    (IP-REL (NP-SBJ;{SMITH} (PRO she;{she}))
                                            (VBP;_phr_Vpr_ asks;{ask[for]})
                                            (PP-CLR (P-ROLE for;{for})
                                                    (NP *T*))))))
          (PUNC .))
  (ID 7_a_fce_0100_2001_06))