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_0010__the_r_0007_0011__information for [clr] r_0007_0012__she she r_0007_0013__asks->r_0007_0012__she [arg0] 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_0010__the_r_0007_0011__information, r_0007_0014__for_clr40).
arc(r_0007_0013__asks, r_0007_0012__she, arg0).
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 z_000_7_a_fce_0100_2001_06_20 r_0007_0009__all_quant all [quant] z_000_7_a_fce_0100_2001_06_20->r_0007_0009__all_quant [conj1] r_0007_0002__write write z_000_7_a_fce_0100_2001_06_20->r_0007_0002__write [conj2] r_0007_0013__asks asks r_0007_0009__all_quant->r_0007_0013__asks [restriction] r_0007_0008__including including r_0007_0009__all_quant->r_0007_0008__including [scope] 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_0006__her her r_0007_0002__write->r_0007_0006__her [arg2] 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_0001__Then Then r_0007_0002__write->r_0007_0001__Then [nim] r_0007_0012__she she r_0007_0013__asks->r_0007_0012__she [arg0] r_0007_0010__the_r_0007_0011__information the information r_0007_0013__asks->r_0007_0010__the_r_0007_0011__information for [clr] r_0007_0008__including->r_0007_0010__the_r_0007_0011__information [arg1] r_0007_0008__including->z_000_7_a_fce_0100_2001_06_1 [arg0] 
fof(formula,axiom,
    ? [R_0007_0001__THEN,R_0007_0003__A_R_0007_0004__REPLY,R_0007_0006__HER,Z_000_7_A_FCE_0100_2001_06_1,R_0007_0002__WRITE,Z_000_7_A_FCE_0100_2001_06_20] :
      ( r_0007_0001__Then(R_0007_0001__THEN)
      & r_0007_0003__a_r_0007_0004__reply(R_0007_0003__A_R_0007_0004__REPLY)
      & r_0007_0006__her(R_0007_0006__HER)
      & z_000_7_a_fce_0100_2001_06_1(Z_000_7_A_FCE_0100_2001_06_1)
      & z_000_7_a_fce_0100_2001_06_20(Z_000_7_A_FCE_0100_2001_06_20)
      & ! [R_0007_0010__THE_R_0007_0011__INFORMATION,R_0007_0012__SHE,R_0007_0013__ASKS] :
          ( ( r_0007_0010__the_r_0007_0011__information(R_0007_0010__THE_R_0007_0011__INFORMATION)
            & r_0007_0012__she(R_0007_0012__SHE)
            & r_0007_0013__asks(R_0007_0013__ASKS)
            & has_arg0(R_0007_0013__ASKS,R_0007_0012__SHE)
            & has_r_0007_0014__for_clr40(R_0007_0013__ASKS,R_0007_0010__THE_R_0007_0011__INFORMATION) )
         => ? [R_0007_0008__INCLUDING] :
              ( r_0007_0008__including(R_0007_0008__INCLUDING)
              & has_arg0(R_0007_0008__INCLUDING,Z_000_7_A_FCE_0100_2001_06_1)
              & has_arg1(R_0007_0008__INCLUDING,R_0007_0010__THE_R_0007_0011__INFORMATION) ) )
      & has_conj2(Z_000_7_A_FCE_0100_2001_06_20,R_0007_0002__WRITE)
      & r_0007_0002__write(R_0007_0002__WRITE)
      & has_arg0(R_0007_0002__WRITE,Z_000_7_A_FCE_0100_2001_06_1)
      & has_arg2(R_0007_0002__WRITE,R_0007_0006__HER)
      & has_arg1(R_0007_0002__WRITE,R_0007_0003__A_R_0007_0004__REPLY)
      & has_nim2(R_0007_0002__WRITE,R_0007_0001__THEN) ) ).


n7_a_fce_0100_2001_06 n7_a_fce_0100_2001_06__1_1_1_1 Then n7_a_fce_0100_2001_06__1_2_1 write n7_a_fce_0100_2001_06__1_3_1_1 a n7_a_fce_0100_2001_06__1_3_2_1 reply n7_a_fce_0100_2001_06__1_4_1_1 to n7_a_fce_0100_2001_06__1_4_2_1_1 her n7_a_fce_0100_2001_06__1_5_1 , n7_a_fce_0100_2001_06__1_6_1_1_1 including n7_a_fce_0100_2001_06__1_6_1_2_1_1 all n7_a_fce_0100_2001_06__1_6_1_2_2_1 the n7_a_fce_0100_2001_06__1_6_1_2_3_1 information n7_a_fce_0100_2001_06__1_6_1_2_4_1_1_1 she n7_a_fce_0100_2001_06__1_6_1_2_4_2_1 asks n7_a_fce_0100_2001_06__1_6_1_2_4_3_1_1 for n7_a_fce_0100_2001_06__1_6_1_2_4_3_2_1 *T* n7_a_fce_0100_2001_06__1_7_1 . n7_a_fce_0100_2001_06__1 IP-IMP n7_a_fce_0100_2001_06__1_1 ADVP-NIM n7_a_fce_0100_2001_06__1->n7_a_fce_0100_2001_06__1_1 n7_a_fce_0100_2001_06__1_2 VB;_Dn.pr_ n7_a_fce_0100_2001_06__1->n7_a_fce_0100_2001_06__1_2 n7_a_fce_0100_2001_06__1_3 NP-OB1 n7_a_fce_0100_2001_06__1->n7_a_fce_0100_2001_06__1_3 n7_a_fce_0100_2001_06__1_4 PP-OB2 n7_a_fce_0100_2001_06__1->n7_a_fce_0100_2001_06__1_4 n7_a_fce_0100_2001_06__1_5 PUNC n7_a_fce_0100_2001_06__1->n7_a_fce_0100_2001_06__1_5 n7_a_fce_0100_2001_06__1_6 PP-SCON n7_a_fce_0100_2001_06__1->n7_a_fce_0100_2001_06__1_6 n7_a_fce_0100_2001_06__1_7 PUNC n7_a_fce_0100_2001_06__1->n7_a_fce_0100_2001_06__1_7 n7_a_fce_0100_2001_06__1_1_1 ADV n7_a_fce_0100_2001_06__1_1->n7_a_fce_0100_2001_06__1_1_1 n7_a_fce_0100_2001_06__1_1_1->n7_a_fce_0100_2001_06__1_1_1_1 n7_a_fce_0100_2001_06__1_2->n7_a_fce_0100_2001_06__1_2_1 n7_a_fce_0100_2001_06__1_3_1 D n7_a_fce_0100_2001_06__1_3->n7_a_fce_0100_2001_06__1_3_1 n7_a_fce_0100_2001_06__1_3_2 N n7_a_fce_0100_2001_06__1_3->n7_a_fce_0100_2001_06__1_3_2 n7_a_fce_0100_2001_06__1_3_1->n7_a_fce_0100_2001_06__1_3_1_1 n7_a_fce_0100_2001_06__1_3_2->n7_a_fce_0100_2001_06__1_3_2_1 n7_a_fce_0100_2001_06__1_4_1 P-ROLE n7_a_fce_0100_2001_06__1_4->n7_a_fce_0100_2001_06__1_4_1 n7_a_fce_0100_2001_06__1_4_2 NP n7_a_fce_0100_2001_06__1_4->n7_a_fce_0100_2001_06__1_4_2 n7_a_fce_0100_2001_06__1_4_1->n7_a_fce_0100_2001_06__1_4_1_1 n7_a_fce_0100_2001_06__1_4_2_1 PRO n7_a_fce_0100_2001_06__1_4_2->n7_a_fce_0100_2001_06__1_4_2_1 n7_a_fce_0100_2001_06__1_4_2_1->n7_a_fce_0100_2001_06__1_4_2_1_1 n7_a_fce_0100_2001_06__1_5->n7_a_fce_0100_2001_06__1_5_1 n7_a_fce_0100_2001_06__1_6_1 IP-PPL2 n7_a_fce_0100_2001_06__1_6->n7_a_fce_0100_2001_06__1_6_1 n7_a_fce_0100_2001_06__1_6_1_1 VAG;_Tn_ n7_a_fce_0100_2001_06__1_6_1->n7_a_fce_0100_2001_06__1_6_1_1 n7_a_fce_0100_2001_06__1_6_1_2 NP-OB1 n7_a_fce_0100_2001_06__1_6_1->n7_a_fce_0100_2001_06__1_6_1_2 n7_a_fce_0100_2001_06__1_6_1_1->n7_a_fce_0100_2001_06__1_6_1_1_1 n7_a_fce_0100_2001_06__1_6_1_2_1 Q;_nphd_ n7_a_fce_0100_2001_06__1_6_1_2->n7_a_fce_0100_2001_06__1_6_1_2_1 n7_a_fce_0100_2001_06__1_6_1_2_2 D n7_a_fce_0100_2001_06__1_6_1_2->n7_a_fce_0100_2001_06__1_6_1_2_2 n7_a_fce_0100_2001_06__1_6_1_2_3 N n7_a_fce_0100_2001_06__1_6_1_2->n7_a_fce_0100_2001_06__1_6_1_2_3 n7_a_fce_0100_2001_06__1_6_1_2_4 IP-REL n7_a_fce_0100_2001_06__1_6_1_2->n7_a_fce_0100_2001_06__1_6_1_2_4 n7_a_fce_0100_2001_06__1_6_1_2_1->n7_a_fce_0100_2001_06__1_6_1_2_1_1 n7_a_fce_0100_2001_06__1_6_1_2_2->n7_a_fce_0100_2001_06__1_6_1_2_2_1 n7_a_fce_0100_2001_06__1_6_1_2_3->n7_a_fce_0100_2001_06__1_6_1_2_3_1 n7_a_fce_0100_2001_06__1_6_1_2_4_1 NP-SBJ n7_a_fce_0100_2001_06__1_6_1_2_4->n7_a_fce_0100_2001_06__1_6_1_2_4_1 n7_a_fce_0100_2001_06__1_6_1_2_4_2 VBP;_phr_Vpr_ n7_a_fce_0100_2001_06__1_6_1_2_4->n7_a_fce_0100_2001_06__1_6_1_2_4_2 n7_a_fce_0100_2001_06__1_6_1_2_4_3 PP-CLR n7_a_fce_0100_2001_06__1_6_1_2_4->n7_a_fce_0100_2001_06__1_6_1_2_4_3 n7_a_fce_0100_2001_06__1_6_1_2_4_1_1 PRO n7_a_fce_0100_2001_06__1_6_1_2_4_1->n7_a_fce_0100_2001_06__1_6_1_2_4_1_1 n7_a_fce_0100_2001_06__1_6_1_2_4_1_1->n7_a_fce_0100_2001_06__1_6_1_2_4_1_1_1 n7_a_fce_0100_2001_06__1_6_1_2_4_2->n7_a_fce_0100_2001_06__1_6_1_2_4_2_1 n7_a_fce_0100_2001_06__1_6_1_2_4_3_1 P-ROLE n7_a_fce_0100_2001_06__1_6_1_2_4_3->n7_a_fce_0100_2001_06__1_6_1_2_4_3_1 n7_a_fce_0100_2001_06__1_6_1_2_4_3_2 NP n7_a_fce_0100_2001_06__1_6_1_2_4_3->n7_a_fce_0100_2001_06__1_6_1_2_4_3_2 n7_a_fce_0100_2001_06__1_6_1_2_4_3_1->n7_a_fce_0100_2001_06__1_6_1_2_4_3_1_1 n7_a_fce_0100_2001_06__1_6_1_2_4_3_2->n7_a_fce_0100_2001_06__1_6_1_2_4_3_2_1 n7_a_fce_0100_2001_06__1_7->n7_a_fce_0100_2001_06__1_7_1 
( (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))