Context                Previous, Next                Top


46_a_wilde_2_1888
In every tree that he could see there was a little child.

%3 r_0046_0002__every_quant every [quant] r_0046_0003__tree tree r_0046_0002__every_quant->r_0046_0003__tree [restriction] r_0046_0008__there_r_0046_0009__was there was r_0046_0002__every_quant->r_0046_0008__there_r_0046_0009__was [scope] r_0046_0008__there_r_0046_0009__was->r_0046_0003__tree In [nim] r_0046_0010__a_r_0046_0012__child a child r_0046_0008__there_r_0046_0009__was->r_0046_0010__a_r_0046_0012__child [arg0] r_0046_0004__that_r_0046_0006__could that could r_0046_0007__see see r_0046_0004__that_r_0046_0006__could->r_0046_0007__see [scope] r_0046_0007__see->r_0046_0003__tree [arg1] r_0046_0005__he he r_0046_0007__see->r_0046_0005__he [arg0] r_0046_0011__little little r_0046_0010__a_r_0046_0012__child->r_0046_0011__little [attrib] 
arc(r_0046_0002__every_quant, r_0046_0003__tree, restriction).
arc(r_0046_0002__every_quant, r_0046_0008__there_r_0046_0009__was, scope).
arc(r_0046_0004__that_r_0046_0006__could, r_0046_0007__see, scope).
arc(r_0046_0007__see, r_0046_0003__tree, arg1).
arc(r_0046_0007__see, r_0046_0005__he, arg0).
arc(r_0046_0008__there_r_0046_0009__was, r_0046_0003__tree, r_0046_0001__In_nim5).
arc(r_0046_0008__there_r_0046_0009__was, r_0046_0010__a_r_0046_0012__child, arg0).
arc(r_0046_0010__a_r_0046_0012__child, r_0046_0011__little, attrib30).


%3 r_0046_0010__a_r_0046_0012__child a child r_0046_0011__little little r_0046_0010__a_r_0046_0012__child->r_0046_0011__little [attrib] r_0046_0008__there_r_0046_0009__was there was r_0046_0008__there_r_0046_0009__was->r_0046_0010__a_r_0046_0012__child [arg0] r_0046_0003__tree tree r_0046_0008__there_r_0046_0009__was->r_0046_0003__tree In [nim] r_0046_0004__that_r_0046_0006__could_r_0046_0007__see that could see r_0046_0004__that_r_0046_0006__could_r_0046_0007__see->r_0046_0003__tree [arg1] r_0046_0005__he he r_0046_0004__that_r_0046_0006__could_r_0046_0007__see->r_0046_0005__he [arg0] r_0046_0002__every_quant every [quant] r_0046_0002__every_quant->r_0046_0008__there_r_0046_0009__was [scope] r_0046_0002__every_quant->r_0046_0004__that_r_0046_0006__could_r_0046_0007__see [restriction] 
fof(formula,axiom,
    ! [R_0046_0003__TREE,R_0046_0005__HE,R_0046_0004__THAT_R_0046_0006__COULD_R_0046_0007__SEE] :
      ( ( r_0046_0003__tree(R_0046_0003__TREE)
        & r_0046_0005__he(R_0046_0005__HE)
        & r_0046_0004__that_r_0046_0006__could_r_0046_0007__see(R_0046_0004__THAT_R_0046_0006__COULD_R_0046_0007__SEE)
        & has_arg0(R_0046_0004__THAT_R_0046_0006__COULD_R_0046_0007__SEE,R_0046_0005__HE)
        & has_arg1(R_0046_0004__THAT_R_0046_0006__COULD_R_0046_0007__SEE,R_0046_0003__TREE) )
     => ? [R_0046_0011__LITTLE,R_0046_0010__A_R_0046_0012__CHILD,R_0046_0008__THERE_R_0046_0009__WAS] :
          ( r_0046_0011__little(R_0046_0011__LITTLE)
          & r_0046_0008__there_r_0046_0009__was(R_0046_0008__THERE_R_0046_0009__WAS)
          & has_arg0(R_0046_0008__THERE_R_0046_0009__WAS,R_0046_0010__A_R_0046_0012__CHILD)
          & r_0046_0010__a_r_0046_0012__child(R_0046_0010__A_R_0046_0012__CHILD)
          & has_attrib30(R_0046_0010__A_R_0046_0012__CHILD,R_0046_0011__LITTLE)
          & has_r_0046_0001__In_nim5(R_0046_0008__THERE_R_0046_0009__WAS,R_0046_0003__TREE) ) ) ).


n46_a_wilde_2_1888 n46_a_wilde_2_1888__1_1_1_1 In n46_a_wilde_2_1888__1_1_2_1_1 every n46_a_wilde_2_1888__1_1_2_2_1 tree n46_a_wilde_2_1888__1_1_2_3_1_1 that n46_a_wilde_2_1888__1_1_2_3_2_1_1 he n46_a_wilde_2_1888__1_1_2_3_3_1 could n46_a_wilde_2_1888__1_1_2_3_4_1_1 *T* n46_a_wilde_2_1888__1_1_2_3_4_2_1 see n46_a_wilde_2_1888__1_2_1 there n46_a_wilde_2_1888__1_3_1 was n46_a_wilde_2_1888__1_4_1_1 a n46_a_wilde_2_1888__1_4_2_1_1 little n46_a_wilde_2_1888__1_4_3_1 child n46_a_wilde_2_1888__1_5_1 . n46_a_wilde_2_1888__1 IP-MAT n46_a_wilde_2_1888__1_1 PP-NIM n46_a_wilde_2_1888__1->n46_a_wilde_2_1888__1_1 n46_a_wilde_2_1888__1_2 EX n46_a_wilde_2_1888__1->n46_a_wilde_2_1888__1_2 n46_a_wilde_2_1888__1_3 BED;_ex_V_ n46_a_wilde_2_1888__1->n46_a_wilde_2_1888__1_3 n46_a_wilde_2_1888__1_4 NP-ESBJ n46_a_wilde_2_1888__1->n46_a_wilde_2_1888__1_4 n46_a_wilde_2_1888__1_5 PUNC n46_a_wilde_2_1888__1->n46_a_wilde_2_1888__1_5 n46_a_wilde_2_1888__1_1_1 P-ROLE n46_a_wilde_2_1888__1_1->n46_a_wilde_2_1888__1_1_1 n46_a_wilde_2_1888__1_1_2 NP n46_a_wilde_2_1888__1_1->n46_a_wilde_2_1888__1_1_2 n46_a_wilde_2_1888__1_1_1->n46_a_wilde_2_1888__1_1_1_1 n46_a_wilde_2_1888__1_1_2_1 Q n46_a_wilde_2_1888__1_1_2->n46_a_wilde_2_1888__1_1_2_1 n46_a_wilde_2_1888__1_1_2_2 N n46_a_wilde_2_1888__1_1_2->n46_a_wilde_2_1888__1_1_2_2 n46_a_wilde_2_1888__1_1_2_3 IP-REL n46_a_wilde_2_1888__1_1_2->n46_a_wilde_2_1888__1_1_2_3 n46_a_wilde_2_1888__1_1_2_1->n46_a_wilde_2_1888__1_1_2_1_1 n46_a_wilde_2_1888__1_1_2_2->n46_a_wilde_2_1888__1_1_2_2_1 n46_a_wilde_2_1888__1_1_2_3_1 C n46_a_wilde_2_1888__1_1_2_3->n46_a_wilde_2_1888__1_1_2_3_1 n46_a_wilde_2_1888__1_1_2_3_2 NP-SBJ n46_a_wilde_2_1888__1_1_2_3->n46_a_wilde_2_1888__1_1_2_3_2 n46_a_wilde_2_1888__1_1_2_3_3 MD;_cat_Vi_ n46_a_wilde_2_1888__1_1_2_3->n46_a_wilde_2_1888__1_1_2_3_3 n46_a_wilde_2_1888__1_1_2_3_4 IP-INF-CAT n46_a_wilde_2_1888__1_1_2_3->n46_a_wilde_2_1888__1_1_2_3_4 n46_a_wilde_2_1888__1_1_2_3_1->n46_a_wilde_2_1888__1_1_2_3_1_1 n46_a_wilde_2_1888__1_1_2_3_2_1 PRO n46_a_wilde_2_1888__1_1_2_3_2->n46_a_wilde_2_1888__1_1_2_3_2_1 n46_a_wilde_2_1888__1_1_2_3_2_1->n46_a_wilde_2_1888__1_1_2_3_2_1_1 n46_a_wilde_2_1888__1_1_2_3_3->n46_a_wilde_2_1888__1_1_2_3_3_1 n46_a_wilde_2_1888__1_1_2_3_4_1 NP-OB1 n46_a_wilde_2_1888__1_1_2_3_4->n46_a_wilde_2_1888__1_1_2_3_4_1 n46_a_wilde_2_1888__1_1_2_3_4_2 VB;__ n46_a_wilde_2_1888__1_1_2_3_4->n46_a_wilde_2_1888__1_1_2_3_4_2 n46_a_wilde_2_1888__1_1_2_3_4_1->n46_a_wilde_2_1888__1_1_2_3_4_1_1 n46_a_wilde_2_1888__1_1_2_3_4_2->n46_a_wilde_2_1888__1_1_2_3_4_2_1 n46_a_wilde_2_1888__1_2->n46_a_wilde_2_1888__1_2_1 n46_a_wilde_2_1888__1_3->n46_a_wilde_2_1888__1_3_1 n46_a_wilde_2_1888__1_4_1 D n46_a_wilde_2_1888__1_4->n46_a_wilde_2_1888__1_4_1 n46_a_wilde_2_1888__1_4_2 ADJP n46_a_wilde_2_1888__1_4->n46_a_wilde_2_1888__1_4_2 n46_a_wilde_2_1888__1_4_3 N n46_a_wilde_2_1888__1_4->n46_a_wilde_2_1888__1_4_3 n46_a_wilde_2_1888__1_4_1->n46_a_wilde_2_1888__1_4_1_1 n46_a_wilde_2_1888__1_4_2_1 ADJ n46_a_wilde_2_1888__1_4_2->n46_a_wilde_2_1888__1_4_2_1 n46_a_wilde_2_1888__1_4_2_1->n46_a_wilde_2_1888__1_4_2_1_1 n46_a_wilde_2_1888__1_4_3->n46_a_wilde_2_1888__1_4_3_1 n46_a_wilde_2_1888__1_5->n46_a_wilde_2_1888__1_5_1 
( (IP-MAT (PP-NIM (P-ROLE In;{in})
                  (NP (Q every;{every})
                      (N tree;{tree})
                      (IP-REL (C that;{that})
                              (NP-SBJ;{GIANT} (PRO he;{he}))
                              (MD;_cat_Vi_ could;{can})
                              (IP-INF-CAT (NP-OB1 *T*)
                                          (VB;__ see;{see})))))
          (EX there;{there})
          (BED;_ex_V_ was;{be})
          (NP-ESBJ (D a;{a})
                   (ADJP (ADJ little;{little}))
                   (N child;{child}))
          (PUNC .))
  (ID 46_a_wilde_2_1888))