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.
( (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))
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,nim).
arc(r_0077_0006__any,r_0077_0007__more,attrib).
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__nim).
arc(r_0077_0013__a_r_0077_0015__armchair,r_0077_0014__huge,attrib).
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__nim).
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).
fof(formula,axiom,
? [R_0077_0001__HE,R_0077_0014__HUGE,R_0077_0013__A_R_0077_0015__ARMCHAIR,R_0077_0011__SAT,R_0077_0019__THE_R_0077_0020__CHILDREN,R_0077_0023__GAMES,R_0077_0018__WATCHED,R_0077_0028__GARDEN,R_0077_0026__ADMIRED,R_0077_0025__AND,R_0077_0017__AND,R_0077_0009__SO] :
( r_0077_0001__He(R_0077_0001__HE)
& r_0077_0014__huge(R_0077_0014__HUGE)
& r_0077_0019__the_r_0077_0020__children(R_0077_0019__THE_R_0077_0020__CHILDREN)
& r_0077_0009__so(R_0077_0009__SO)
& has_conj1(R_0077_0009__SO,R_0077_0017__AND)
& r_0077_0017__and(R_0077_0017__AND)
& has_conj2(R_0077_0017__AND,R_0077_0025__AND)
& r_0077_0025__and(R_0077_0025__AND)
& has_conj2(R_0077_0025__AND,R_0077_0026__ADMIRED)
& r_0077_0026__admired(R_0077_0026__ADMIRED)
& has_arg1(R_0077_0026__ADMIRED,R_0077_0028__GARDEN)
& r_0077_0028__garden(R_0077_0028__GARDEN)
& has_gen(R_0077_0028__GARDEN,R_0077_0001__HE)
& has_arg0(R_0077_0026__ADMIRED,R_0077_0001__HE)
& has_conj1(R_0077_0025__AND,R_0077_0018__WATCHED)
& r_0077_0018__watched(R_0077_0018__WATCHED)
& has_r_0077_0021__at__nim(R_0077_0018__WATCHED,R_0077_0023__GAMES)
& r_0077_0023__games(R_0077_0023__GAMES)
& has_gen(R_0077_0023__GAMES,R_0077_0019__THE_R_0077_0020__CHILDREN)
& has_arg1(R_0077_0018__WATCHED,R_0077_0019__THE_R_0077_0020__CHILDREN)
& has_arg0(R_0077_0018__WATCHED,R_0077_0001__HE)
& has_conj1(R_0077_0017__AND,R_0077_0011__SAT)
& r_0077_0011__sat(R_0077_0011__SAT)
& has_r_0077_0012__in__nim(R_0077_0011__SAT,R_0077_0013__A_R_0077_0015__ARMCHAIR)
& r_0077_0013__a_r_0077_0015__armchair(R_0077_0013__A_R_0077_0015__ARMCHAIR)
& has_attrib(R_0077_0013__A_R_0077_0015__ARMCHAIR,R_0077_0014__HUGE)
& has_arg0(R_0077_0011__SAT,R_0077_0001__HE)
& has_conj2(R_0077_0009__SO,R_0077_0003__NOT)
& ~ ? [R_0077_0007__MORE,R_0077_0006__ANY,R_0077_0002__COULD_R_0077_0004__PLAY_R_0077_0005__ABOUT] :
( r_0077_0007__more(R_0077_0007__MORE)
& r_0077_0002__could_r_0077_0004__play_r_0077_0005__about(R_0077_0002__COULD_R_0077_0004__PLAY_R_0077_0005__ABOUT)
& has_nim(R_0077_0002__COULD_R_0077_0004__PLAY_R_0077_0005__ABOUT,R_0077_0006__ANY)
& r_0077_0006__any(R_0077_0006__ANY)
& has_attrib(R_0077_0006__ANY,R_0077_0007__MORE)
& has_arg0(R_0077_0002__COULD_R_0077_0004__PLAY_R_0077_0005__ABOUT,R_0077_0001__HE) ) ) ).