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_0002__every_quant every [quant] r_0046_0004__that_r_0046_0006__could_r_0046_0007__see that could see r_0046_0002__every_quant->r_0046_0004__that_r_0046_0006__could_r_0046_0007__see [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_0003__tree tree 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_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_0011__little little r_0046_0010__a_r_0046_0012__child->r_0046_0011__little [attrib] 
fof(formula,axiom,
    ! [R_46_4_THAT_COULD_SEE,R_46_5_HE,R_46_3_TREE] :
      ( ( he(R_46_5_HE)
        & tree(R_46_3_TREE)
        & that_could_see(R_46_4_THAT_COULD_SEE,R_46_5_HE,R_46_3_TREE) )
     => ? [R_46_8_THERE_WAS,R_46_10_A_CHILD,R_46_11_LITTLE] :
          ( little(R_46_11_LITTLE)
          & there_was(R_46_8_THERE_WAS,R_46_10_A_CHILD)
          & a_child(R_46_10_A_CHILD)
          & attrib30(R_46_10_A_CHILD,R_46_11_LITTLE)
          & in_nim5(R_46_8_THERE_WAS,R_46_3_TREE) ) ) ).


n46_a_wilde_2_1888 n46_a_wilde_2_1888_4 In n46_a_wilde_2_1888_7 every n46_a_wilde_2_1888_9 tree n46_a_wilde_2_1888_12 that n46_a_wilde_2_1888_15 he n46_a_wilde_2_1888_17 could n46_a_wilde_2_1888_20 *T* n46_a_wilde_2_1888_22 see n46_a_wilde_2_1888_24 there n46_a_wilde_2_1888_26 was n46_a_wilde_2_1888_29 a n46_a_wilde_2_1888_32 little n46_a_wilde_2_1888_34 child n46_a_wilde_2_1888_36 . n46_a_wilde_2_1888_1 IP-MAT n46_a_wilde_2_1888_2 PP-NIM n46_a_wilde_2_1888_1->n46_a_wilde_2_1888_2 n46_a_wilde_2_1888_23 EX n46_a_wilde_2_1888_1->n46_a_wilde_2_1888_23 n46_a_wilde_2_1888_25 BED;_ex_V_ n46_a_wilde_2_1888_1->n46_a_wilde_2_1888_25 n46_a_wilde_2_1888_27 NP-ESBJ n46_a_wilde_2_1888_1->n46_a_wilde_2_1888_27 n46_a_wilde_2_1888_35 PUNC n46_a_wilde_2_1888_1->n46_a_wilde_2_1888_35 n46_a_wilde_2_1888_3 P-ROLE n46_a_wilde_2_1888_2->n46_a_wilde_2_1888_3 n46_a_wilde_2_1888_5 NP n46_a_wilde_2_1888_2->n46_a_wilde_2_1888_5 n46_a_wilde_2_1888_3->n46_a_wilde_2_1888_4 n46_a_wilde_2_1888_6 Q n46_a_wilde_2_1888_5->n46_a_wilde_2_1888_6 n46_a_wilde_2_1888_8 N n46_a_wilde_2_1888_5->n46_a_wilde_2_1888_8 n46_a_wilde_2_1888_10 IP-REL n46_a_wilde_2_1888_5->n46_a_wilde_2_1888_10 n46_a_wilde_2_1888_6->n46_a_wilde_2_1888_7 n46_a_wilde_2_1888_8->n46_a_wilde_2_1888_9 n46_a_wilde_2_1888_11 C n46_a_wilde_2_1888_10->n46_a_wilde_2_1888_11 n46_a_wilde_2_1888_13 NP-SBJ n46_a_wilde_2_1888_10->n46_a_wilde_2_1888_13 n46_a_wilde_2_1888_16 MD;_cat_Vi_ n46_a_wilde_2_1888_10->n46_a_wilde_2_1888_16 n46_a_wilde_2_1888_18 IP-INF-CAT n46_a_wilde_2_1888_10->n46_a_wilde_2_1888_18 n46_a_wilde_2_1888_11->n46_a_wilde_2_1888_12 n46_a_wilde_2_1888_14 PRO n46_a_wilde_2_1888_13->n46_a_wilde_2_1888_14 n46_a_wilde_2_1888_14->n46_a_wilde_2_1888_15 n46_a_wilde_2_1888_16->n46_a_wilde_2_1888_17 n46_a_wilde_2_1888_19 NP-OB1 n46_a_wilde_2_1888_18->n46_a_wilde_2_1888_19 n46_a_wilde_2_1888_21 VB;__ n46_a_wilde_2_1888_18->n46_a_wilde_2_1888_21 n46_a_wilde_2_1888_19->n46_a_wilde_2_1888_20 n46_a_wilde_2_1888_21->n46_a_wilde_2_1888_22 n46_a_wilde_2_1888_23->n46_a_wilde_2_1888_24 n46_a_wilde_2_1888_25->n46_a_wilde_2_1888_26 n46_a_wilde_2_1888_28 D n46_a_wilde_2_1888_27->n46_a_wilde_2_1888_28 n46_a_wilde_2_1888_30 ADJP n46_a_wilde_2_1888_27->n46_a_wilde_2_1888_30 n46_a_wilde_2_1888_33 N n46_a_wilde_2_1888_27->n46_a_wilde_2_1888_33 n46_a_wilde_2_1888_28->n46_a_wilde_2_1888_29 n46_a_wilde_2_1888_31 ADJ n46_a_wilde_2_1888_30->n46_a_wilde_2_1888_31 n46_a_wilde_2_1888_31->n46_a_wilde_2_1888_32 n46_a_wilde_2_1888_33->n46_a_wilde_2_1888_34 n46_a_wilde_2_1888_35->n46_a_wilde_2_1888_36 
( (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))