Context                Previous, Next                Top


77_a_wilde_2_1888
He could not play about any more, so he sat in a huge armchair, and watched the children at their games, and admired his garden.

%3 r_0077_0002__could could r_0077_0004__play_r_0077_0005__about play about r_0077_0002__could->r_0077_0004__play_r_0077_0005__about [scope] r_0077_0001__He He r_0077_0004__play_r_0077_0005__about->r_0077_0001__He [arg0] r_0077_0006__any any r_0077_0004__play_r_0077_0005__about->r_0077_0006__any [nim] r_0077_0003__not not r_0077_0003__not->r_0077_0002__could [keep_scope] r_0077_0007__more more r_0077_0006__any->r_0077_0007__more [attrib] r_0077_0009__so so r_0077_0009__so->r_0077_0003__not [scope] r_0077_0017__and and r_0077_0009__so->r_0077_0017__and [restriction] r_0077_0011__sat sat r_0077_0017__and->r_0077_0011__sat [conj1] r_0077_0025__and and r_0077_0017__and->r_0077_0025__and [conj2] r_0077_0011__sat->r_0077_0001__He [arg0] r_0077_0013__a_r_0077_0015__armchair a armchair r_0077_0011__sat->r_0077_0013__a_r_0077_0015__armchair in [nim] r_0077_0014__huge huge r_0077_0013__a_r_0077_0015__armchair->r_0077_0014__huge [attrib] r_0077_0018__watched watched r_0077_0025__and->r_0077_0018__watched [conj1] r_0077_0026__admired admired r_0077_0025__and->r_0077_0026__admired [conj2] r_0077_0018__watched->r_0077_0001__He [arg0] r_0077_0019__the_r_0077_0020__children the children r_0077_0018__watched->r_0077_0019__the_r_0077_0020__children [arg1] r_0077_0023__games games r_0077_0018__watched->r_0077_0023__games at [nim] r_0077_0023__games->r_0077_0019__the_r_0077_0020__children [gen] r_0077_0026__admired->r_0077_0001__He [arg0] r_0077_0028__garden garden r_0077_0026__admired->r_0077_0028__garden [arg1] r_0077_0028__garden->r_0077_0001__He [gen] 
arc(r_0077_0002__could, r_0077_0004__play_r_0077_0005__about, scope).
arc(r_0077_0003__not, r_0077_0002__could, keep_scope).
arc(r_0077_0004__play_r_0077_0005__about, r_0077_0001__He, arg0).
arc(r_0077_0004__play_r_0077_0005__about, r_0077_0006__any, nim14).
arc(r_0077_0006__any, r_0077_0007__more, attrib17).
arc(r_0077_0009__so, r_0077_0003__not, scope).
arc(r_0077_0009__so, r_0077_0017__and, restriction).
arc(r_0077_0011__sat, r_0077_0001__He, arg0).
arc(r_0077_0011__sat, r_0077_0013__a_r_0077_0015__armchair, r_0077_0012__in_nim36).
arc(r_0077_0013__a_r_0077_0015__armchair, r_0077_0014__huge, attrib39).
arc(r_0077_0017__and, r_0077_0011__sat, conj1).
arc(r_0077_0017__and, r_0077_0025__and, conj2).
arc(r_0077_0018__watched, r_0077_0001__He, arg0).
arc(r_0077_0018__watched, r_0077_0019__the_r_0077_0020__children, arg1).
arc(r_0077_0018__watched, r_0077_0023__games, r_0077_0021__at_nim62).
arc(r_0077_0023__games, r_0077_0019__the_r_0077_0020__children, gen).
arc(r_0077_0025__and, r_0077_0018__watched, conj1).
arc(r_0077_0025__and, r_0077_0026__admired, conj2).
arc(r_0077_0026__admired, r_0077_0001__He, arg0).
arc(r_0077_0026__admired, r_0077_0028__garden, arg1).
arc(r_0077_0028__garden, r_0077_0001__He, gen).


%3 r_0077_0002__could_r_0077_0004__play_r_0077_0005__about could play about r_0077_0001__He He r_0077_0002__could_r_0077_0004__play_r_0077_0005__about->r_0077_0001__He [arg0] r_0077_0006__any any r_0077_0002__could_r_0077_0004__play_r_0077_0005__about->r_0077_0006__any [nim] r_0077_0007__more more r_0077_0006__any->r_0077_0007__more [attrib] r_0077_0003__not not r_0077_0003__not->r_0077_0002__could_r_0077_0004__play_r_0077_0005__about [keep_scope] r_0077_0009__so so r_0077_0009__so->r_0077_0003__not [conj2] r_0077_0017__and and r_0077_0009__so->r_0077_0017__and [conj1] r_0077_0011__sat sat r_0077_0017__and->r_0077_0011__sat [conj1] r_0077_0025__and and r_0077_0017__and->r_0077_0025__and [conj2] r_0077_0011__sat->r_0077_0001__He [arg0] r_0077_0013__a_r_0077_0015__armchair a armchair r_0077_0011__sat->r_0077_0013__a_r_0077_0015__armchair in [nim] r_0077_0014__huge huge r_0077_0013__a_r_0077_0015__armchair->r_0077_0014__huge [attrib] r_0077_0018__watched watched r_0077_0025__and->r_0077_0018__watched [conj1] r_0077_0026__admired admired r_0077_0025__and->r_0077_0026__admired [conj2] r_0077_0018__watched->r_0077_0001__He [arg0] r_0077_0019__the_r_0077_0020__children the children r_0077_0018__watched->r_0077_0019__the_r_0077_0020__children [arg1] r_0077_0023__games games r_0077_0018__watched->r_0077_0023__games at [nim] r_0077_0023__games->r_0077_0019__the_r_0077_0020__children [gen] r_0077_0026__admired->r_0077_0001__He [arg0] r_0077_0028__garden garden r_0077_0026__admired->r_0077_0028__garden [arg1] r_0077_0028__garden->r_0077_0001__He [gen] 
fof(formula,axiom,
    ? [R_77_9_SO,R_77_17_AND,R_77_11_SAT,R_77_13_A_ARMCHAIR,R_77_14_HUGE,R_77_25_AND,R_77_18_WATCHED,R_77_23_GAMES,R_77_19_THE_CHILDREN,R_77_26_ADMIRED,R_77_28_GARDEN,R_77_1_HE] :
      ( huge(R_77_14_HUGE)
      & the_children(R_77_19_THE_CHILDREN)
      & he(R_77_1_HE)
      & so(R_77_9_SO)
      & conj1(R_77_9_SO,R_77_17_AND)
      & and(R_77_17_AND)
      & conj1(R_77_17_AND,R_77_11_SAT)
      & sat(R_77_11_SAT,R_77_1_HE)
      & in_nim36(R_77_11_SAT,R_77_13_A_ARMCHAIR)
      & a_armchair(R_77_13_A_ARMCHAIR)
      & attrib39(R_77_13_A_ARMCHAIR,R_77_14_HUGE)
      & conj2(R_77_17_AND,R_77_25_AND)
      & and(R_77_25_AND)
      & conj1(R_77_25_AND,R_77_18_WATCHED)
      & watched(R_77_18_WATCHED,R_77_1_HE,R_77_19_THE_CHILDREN)
      & at_nim62(R_77_18_WATCHED,R_77_23_GAMES)
      & games(R_77_23_GAMES)
      & gen(R_77_23_GAMES,R_77_19_THE_CHILDREN)
      & conj2(R_77_25_AND,R_77_26_ADMIRED)
      & admired(R_77_26_ADMIRED,R_77_1_HE,R_77_28_GARDEN)
      & garden(R_77_28_GARDEN)
      & gen(R_77_28_GARDEN,R_77_1_HE)
      & conj2(R_77_9_SO,R_77_3_NOT)
      & ~ ? [R_77_2_COULD_PLAY_ABOUT,R_77_6_ANY,R_77_7_MORE] :
            ( more(R_77_7_MORE)
            & could_play_about(R_77_2_COULD_PLAY_ABOUT,R_77_1_HE)
            & nim14(R_77_2_COULD_PLAY_ABOUT,R_77_6_ANY)
            & any(R_77_6_ANY)
            & attrib17(R_77_6_ANY,R_77_7_MORE) ) ) ).


n77_a_wilde_2_1888 n77_a_wilde_2_1888_4 He n77_a_wilde_2_1888_6 could n77_a_wilde_2_1888_8 not n77_a_wilde_2_1888_11 play n77_a_wilde_2_1888_13 about n77_a_wilde_2_1888_16 any n77_a_wilde_2_1888_19 more n77_a_wilde_2_1888_21 , n77_a_wilde_2_1888_24 so n77_a_wilde_2_1888_28 he n77_a_wilde_2_1888_32 sat n77_a_wilde_2_1888_35 in n77_a_wilde_2_1888_38 a n77_a_wilde_2_1888_41 huge n77_a_wilde_2_1888_43 armchair n77_a_wilde_2_1888_45 , n77_a_wilde_2_1888_48 and n77_a_wilde_2_1888_53 watched n77_a_wilde_2_1888_56 the n77_a_wilde_2_1888_58 children n77_a_wilde_2_1888_61 at n77_a_wilde_2_1888_65 their n77_a_wilde_2_1888_67 games n77_a_wilde_2_1888_69 , n77_a_wilde_2_1888_72 and n77_a_wilde_2_1888_75 admired n77_a_wilde_2_1888_79 his n77_a_wilde_2_1888_81 garden n77_a_wilde_2_1888_83 . n77_a_wilde_2_1888_1 IP-MAT n77_a_wilde_2_1888_2 NP-SBJ n77_a_wilde_2_1888_1->n77_a_wilde_2_1888_2 n77_a_wilde_2_1888_5 MD;_cat_Vi_ n77_a_wilde_2_1888_1->n77_a_wilde_2_1888_5 n77_a_wilde_2_1888_7 NEG n77_a_wilde_2_1888_1->n77_a_wilde_2_1888_7 n77_a_wilde_2_1888_9 IP-INF-CAT n77_a_wilde_2_1888_1->n77_a_wilde_2_1888_9 n77_a_wilde_2_1888_20 PUNC n77_a_wilde_2_1888_1->n77_a_wilde_2_1888_20 n77_a_wilde_2_1888_22 PP-SCON n77_a_wilde_2_1888_1->n77_a_wilde_2_1888_22 n77_a_wilde_2_1888_82 PUNC n77_a_wilde_2_1888_1->n77_a_wilde_2_1888_82 n77_a_wilde_2_1888_3 PRO n77_a_wilde_2_1888_2->n77_a_wilde_2_1888_3 n77_a_wilde_2_1888_3->n77_a_wilde_2_1888_4 n77_a_wilde_2_1888_5->n77_a_wilde_2_1888_6 n77_a_wilde_2_1888_7->n77_a_wilde_2_1888_8 n77_a_wilde_2_1888_10 VB;_phr_Vp_ n77_a_wilde_2_1888_9->n77_a_wilde_2_1888_10 n77_a_wilde_2_1888_12 RP n77_a_wilde_2_1888_9->n77_a_wilde_2_1888_12 n77_a_wilde_2_1888_14 NP-NIM n77_a_wilde_2_1888_9->n77_a_wilde_2_1888_14 n77_a_wilde_2_1888_10->n77_a_wilde_2_1888_11 n77_a_wilde_2_1888_12->n77_a_wilde_2_1888_13 n77_a_wilde_2_1888_15 D;_nphd_ n77_a_wilde_2_1888_14->n77_a_wilde_2_1888_15 n77_a_wilde_2_1888_17 ADJP n77_a_wilde_2_1888_14->n77_a_wilde_2_1888_17 n77_a_wilde_2_1888_15->n77_a_wilde_2_1888_16 n77_a_wilde_2_1888_18 ADJR n77_a_wilde_2_1888_17->n77_a_wilde_2_1888_18 n77_a_wilde_2_1888_18->n77_a_wilde_2_1888_19 n77_a_wilde_2_1888_20->n77_a_wilde_2_1888_21 n77_a_wilde_2_1888_23 P-CONN n77_a_wilde_2_1888_22->n77_a_wilde_2_1888_23 n77_a_wilde_2_1888_25 IP-ADV n77_a_wilde_2_1888_22->n77_a_wilde_2_1888_25 n77_a_wilde_2_1888_23->n77_a_wilde_2_1888_24 n77_a_wilde_2_1888_26 NP-SBJ n77_a_wilde_2_1888_25->n77_a_wilde_2_1888_26 n77_a_wilde_2_1888_29 ILYR n77_a_wilde_2_1888_25->n77_a_wilde_2_1888_29 n77_a_wilde_2_1888_27 PRO n77_a_wilde_2_1888_26->n77_a_wilde_2_1888_27 n77_a_wilde_2_1888_27->n77_a_wilde_2_1888_28 n77_a_wilde_2_1888_30 ILYR n77_a_wilde_2_1888_29->n77_a_wilde_2_1888_30 n77_a_wilde_2_1888_44 PUNC n77_a_wilde_2_1888_29->n77_a_wilde_2_1888_44 n77_a_wilde_2_1888_46 CONJP n77_a_wilde_2_1888_29->n77_a_wilde_2_1888_46 n77_a_wilde_2_1888_31 VBD;_I_ n77_a_wilde_2_1888_30->n77_a_wilde_2_1888_31 n77_a_wilde_2_1888_33 PP-NIM n77_a_wilde_2_1888_30->n77_a_wilde_2_1888_33 n77_a_wilde_2_1888_31->n77_a_wilde_2_1888_32 n77_a_wilde_2_1888_34 P-ROLE n77_a_wilde_2_1888_33->n77_a_wilde_2_1888_34 n77_a_wilde_2_1888_36 NP n77_a_wilde_2_1888_33->n77_a_wilde_2_1888_36 n77_a_wilde_2_1888_34->n77_a_wilde_2_1888_35 n77_a_wilde_2_1888_37 D n77_a_wilde_2_1888_36->n77_a_wilde_2_1888_37 n77_a_wilde_2_1888_39 ADJP n77_a_wilde_2_1888_36->n77_a_wilde_2_1888_39 n77_a_wilde_2_1888_42 N n77_a_wilde_2_1888_36->n77_a_wilde_2_1888_42 n77_a_wilde_2_1888_37->n77_a_wilde_2_1888_38 n77_a_wilde_2_1888_40 ADJ n77_a_wilde_2_1888_39->n77_a_wilde_2_1888_40 n77_a_wilde_2_1888_40->n77_a_wilde_2_1888_41 n77_a_wilde_2_1888_42->n77_a_wilde_2_1888_43 n77_a_wilde_2_1888_44->n77_a_wilde_2_1888_45 n77_a_wilde_2_1888_47 CONJ n77_a_wilde_2_1888_46->n77_a_wilde_2_1888_47 n77_a_wilde_2_1888_49 ILYR n77_a_wilde_2_1888_46->n77_a_wilde_2_1888_49 n77_a_wilde_2_1888_47->n77_a_wilde_2_1888_48 n77_a_wilde_2_1888_50 ILYR n77_a_wilde_2_1888_49->n77_a_wilde_2_1888_50 n77_a_wilde_2_1888_51 ILYR n77_a_wilde_2_1888_50->n77_a_wilde_2_1888_51 n77_a_wilde_2_1888_68 PUNC n77_a_wilde_2_1888_50->n77_a_wilde_2_1888_68 n77_a_wilde_2_1888_70 CONJP n77_a_wilde_2_1888_50->n77_a_wilde_2_1888_70 n77_a_wilde_2_1888_52 VBD;_Tn_ n77_a_wilde_2_1888_51->n77_a_wilde_2_1888_52 n77_a_wilde_2_1888_54 NP-OB1 n77_a_wilde_2_1888_51->n77_a_wilde_2_1888_54 n77_a_wilde_2_1888_59 PP-NIM n77_a_wilde_2_1888_51->n77_a_wilde_2_1888_59 n77_a_wilde_2_1888_52->n77_a_wilde_2_1888_53 n77_a_wilde_2_1888_55 D n77_a_wilde_2_1888_54->n77_a_wilde_2_1888_55 n77_a_wilde_2_1888_57 NS n77_a_wilde_2_1888_54->n77_a_wilde_2_1888_57 n77_a_wilde_2_1888_55->n77_a_wilde_2_1888_56 n77_a_wilde_2_1888_57->n77_a_wilde_2_1888_58 n77_a_wilde_2_1888_60 P-ROLE n77_a_wilde_2_1888_59->n77_a_wilde_2_1888_60 n77_a_wilde_2_1888_62 NP n77_a_wilde_2_1888_59->n77_a_wilde_2_1888_62 n77_a_wilde_2_1888_60->n77_a_wilde_2_1888_61 n77_a_wilde_2_1888_63 NP-GEN n77_a_wilde_2_1888_62->n77_a_wilde_2_1888_63 n77_a_wilde_2_1888_66 NS n77_a_wilde_2_1888_62->n77_a_wilde_2_1888_66 n77_a_wilde_2_1888_64 PRO;_genm_ n77_a_wilde_2_1888_63->n77_a_wilde_2_1888_64 n77_a_wilde_2_1888_64->n77_a_wilde_2_1888_65 n77_a_wilde_2_1888_66->n77_a_wilde_2_1888_67 n77_a_wilde_2_1888_68->n77_a_wilde_2_1888_69 n77_a_wilde_2_1888_71 CONJ n77_a_wilde_2_1888_70->n77_a_wilde_2_1888_71 n77_a_wilde_2_1888_73 ILYR n77_a_wilde_2_1888_70->n77_a_wilde_2_1888_73 n77_a_wilde_2_1888_71->n77_a_wilde_2_1888_72 n77_a_wilde_2_1888_74 VBD;_Tn_ n77_a_wilde_2_1888_73->n77_a_wilde_2_1888_74 n77_a_wilde_2_1888_76 NP-OB1 n77_a_wilde_2_1888_73->n77_a_wilde_2_1888_76 n77_a_wilde_2_1888_74->n77_a_wilde_2_1888_75 n77_a_wilde_2_1888_77 NP-GEN n77_a_wilde_2_1888_76->n77_a_wilde_2_1888_77 n77_a_wilde_2_1888_80 N n77_a_wilde_2_1888_76->n77_a_wilde_2_1888_80 n77_a_wilde_2_1888_78 PRO;_genm_ n77_a_wilde_2_1888_77->n77_a_wilde_2_1888_78 n77_a_wilde_2_1888_78->n77_a_wilde_2_1888_79 n77_a_wilde_2_1888_80->n77_a_wilde_2_1888_81 n77_a_wilde_2_1888_82->n77_a_wilde_2_1888_83 
( (IP-MAT (NP-SBJ;{GIANT} (PRO He;{he}))
          (MD;_cat_Vi_ could;{can})
          (NEG not;{not})
          (IP-INF-CAT (VB;_phr_Vp_ play;{play[about]})
                      (RP about;{about})
                      (NP-NIM (D;_nphd_ any;{any})
                              (ADJP (ADJR more;{more}))))
          (PUNC ,)
          (PP-SCON (P-CONN so;{so})
                   (IP-ADV (NP-SBJ;{GIANT} (PRO he;{he}))
                           (ILYR (ILYR (VBD;_I_ sat;{sit})
                                       (PP-NIM (P-ROLE in;{in})
                                               (NP (D a;{a})
                                                   (ADJP (ADJ huge;{huge}))
                                                   (N armchair;{armchair}))))
                                 (PUNC ,)
                                 (CONJP (CONJ and;{and})
                                        (ILYR (ILYR (ILYR (VBD;_Tn_ watched;{watch})
                                                          (NP-OB1;{CHILDREN} (D the;{the})
                                                                             (NS children;{child}))
                                                          (PP-NIM (P-ROLE at;{at})
                                                                  (NP (NP-GEN;{CHILDREN} (PRO;_genm_ their;{their}))
                                                                      (NS games;{game}))))
                                                    (PUNC ,)
                                                    (CONJP (CONJ and;{and})
                                                           (ILYR (VBD;_Tn_ admired;{admire})
                                                                 (NP-OB1 (NP-GEN;{GIANT} (PRO;_genm_ his;{his}))
                                                                         (N garden;{garden}))))))))))
          (PUNC .))
  (ID 77_a_wilde_2_1888))