12_a_wilde_2_1888
“My own garden is my own garden,” said the Giant; “any one can understand that, and I will allow nobody to play in it but myself.”
( (IP-MAT (ILYR (ILYR (ILYR (ILYR;{G_IS_G} (PULQ <ldquo>)
(NP-SBJ;{GARDEN} (NP-GEN (NP-GEN;{GIANT} (PRO;_genm_ My;{my}))
(ADJP (ADJ own;{own})))
(N garden;{garden}))
(BEP;_Ln_ is;{be})
(NP-PRD (NP-GEN (NP-GEN;{GIANT} (PRO;_genm_ my;{my}))
(ADJP (ADJ own;{own})))
(N garden;{garden}))
(PUNC ,)
(PURQ <rdquo>)
(PRN (IP-MAT (VBD;_Tr_ said;{say})
(NP-SBJ;{GIANT} (D the;{the})
(N Giant;{giant}))))
(PUNC ;))
(CONJP (ILYR (PULQ <ldquo>)
(NP-SBJ (D any;{any})
(N one;{one}))
(MD;_cat_Vi_ can;{can})
(IP-INF-CAT (VB;_Tn_ understand;{understand})
(NP-OB1;{G_IS_G} (D;_nphd_ that;{that})))))))
(PUNC ,)
(CONJP (CONJ and;{and})
(ILYR (NP-SBJ;{GIANT} (PRO I;{I}))
(MD;_cat_Vi_ will;{will})
(IP-INF-CAT (VB;_Tnt_ allow;{allow})
(NP-DOB1 (Q;_nphd_ nobody;{nobody}))
(IP-INF-OB1 (TO to;{to})
(VB;_I_ play;{play})
(PP-NIM (P-ROLE in;{in})
(NP;{GARDEN} (PRO it;{it}))))
(PP-NIM (P-ROLE but;{but})
(NP;{GIANT} (PNX myself;{myself})))))))
(PUNC .)
(PURQ <rdquo>))
(ID 12_a_wilde_2_1888))
arc(r_0012_0004__garden,z_0012_5005,gen).
arc(r_0012_0005__is,r_0012_0004__garden,arg0).
arc(r_0012_0005__is,r_0012_0008__garden,prd).
arc(r_0012_0005__is,r_0012_0011__said,prn).
arc(r_0012_0008__garden,z_0012_5013,gen).
arc(r_0012_0011__said,r_0012_0012__the_r_0012_0013__Giant,arg0).
arc(r_0012_0018__can,r_0012_0019__understand,scope).
arc(r_0012_0019__understand,r_0012_0005__is,arg1).
arc(r_0012_0019__understand,r_0012_0016__any_r_0012_0017__one,arg0).
arc(r_0012_0022__and,r_0012_0026__nobody__quant,conj2).
arc(r_0012_0022__and,z_0012_5001,conj1).
arc(r_0012_0024__will,r_0012_0025__allow,scope).
arc(r_0012_0025__allow,r_0012_0002__My,arg0).
arc(r_0012_0025__allow,r_0012_0002__My,r_0012_0031__but__nim).
arc(r_0012_0025__allow,r_0012_0028__play,arg1).
arc(r_0012_0026__nobody__quant,r_0012_0024__will,scope).
arc(r_0012_0026__nobody__quant,z_0012_5024,restriction).
arc(r_0012_0028__play,r_0012_0004__garden,r_0012_0029__in__nim).
arc(r_0012_0028__play,z_0012_5024,arg0).
arc(z_0012_5001,r_0012_0005__is,conj1).
arc(z_0012_5001,r_0012_0018__can,conj2).
arc(z_0012_5005,r_0012_0002__My,gen).
arc(z_0012_5005,r_0012_0003__own,attrib).
arc(z_0012_5013,r_0012_0002__My,gen).
arc(z_0012_5013,r_0012_0007__own,attrib).
fof(formula,axiom,
? [R_0012_0002__MY,R_0012_0003__OWN,Z_0012_5005,R_0012_0004__GARDEN,R_0012_0007__OWN,Z_0012_5013,R_0012_0008__GARDEN,R_0012_0012__THE_R_0012_0013__GIANT,R_0012_0011__SAID,R_0012_0005__IS,R_0012_0016__ANY_R_0012_0017__ONE,R_0012_0018__CAN_R_0012_0019__UNDERSTAND,Z_0012_5001,R_0012_0022__AND] :
( r_0012_0002__My(R_0012_0002__MY)
& r_0012_0003__own(R_0012_0003__OWN)
& r_0012_0007__own(R_0012_0007__OWN)
& r_0012_0012__the_r_0012_0013__Giant(R_0012_0012__THE_R_0012_0013__GIANT)
& r_0012_0016__any_r_0012_0017__one(R_0012_0016__ANY_R_0012_0017__ONE)
& r_0012_0022__and(R_0012_0022__AND)
& has_conj1(R_0012_0022__AND,Z_0012_5001)
& z_0012_5001(Z_0012_5001)
& has_conj2(Z_0012_5001,R_0012_0018__CAN_R_0012_0019__UNDERSTAND)
& r_0012_0018__can_r_0012_0019__understand(R_0012_0018__CAN_R_0012_0019__UNDERSTAND)
& has_arg0(R_0012_0018__CAN_R_0012_0019__UNDERSTAND,R_0012_0016__ANY_R_0012_0017__ONE)
& has_arg1(R_0012_0018__CAN_R_0012_0019__UNDERSTAND,R_0012_0005__IS)
& r_0012_0005__is(R_0012_0005__IS)
& has_prn(R_0012_0005__IS,R_0012_0011__SAID)
& r_0012_0011__said(R_0012_0011__SAID)
& has_arg0(R_0012_0011__SAID,R_0012_0012__THE_R_0012_0013__GIANT)
& has_prd(R_0012_0005__IS,R_0012_0008__GARDEN)
& r_0012_0008__garden(R_0012_0008__GARDEN)
& has_gen(R_0012_0008__GARDEN,Z_0012_5013)
& z_0012_5013(Z_0012_5013)
& has_attrib(Z_0012_5013,R_0012_0007__OWN)
& has_gen(Z_0012_5013,R_0012_0002__MY)
& has_arg0(R_0012_0005__IS,R_0012_0004__GARDEN)
& r_0012_0004__garden(R_0012_0004__GARDEN)
& has_gen(R_0012_0004__GARDEN,Z_0012_5005)
& z_0012_5005(Z_0012_5005)
& has_attrib(Z_0012_5005,R_0012_0003__OWN)
& has_gen(Z_0012_5005,R_0012_0002__MY)
& has_conj1(Z_0012_5001,R_0012_0005__IS)
& ! [Z_0012_5024] :
( z_0012_5024(Z_0012_5024)
=> ? [R_0012_0028__PLAY,R_0012_0024__WILL_R_0012_0025__ALLOW] :
( r_0012_0024__will_r_0012_0025__allow(R_0012_0024__WILL_R_0012_0025__ALLOW)
& has_arg1(R_0012_0024__WILL_R_0012_0025__ALLOW,R_0012_0028__PLAY)
& r_0012_0028__play(R_0012_0028__PLAY)
& has_arg0(R_0012_0028__PLAY,Z_0012_5024)
& has_r_0012_0029__in__nim(R_0012_0028__PLAY,R_0012_0004__GARDEN)
& has_r_0012_0031__but__nim(R_0012_0024__WILL_R_0012_0025__ALLOW,R_0012_0002__MY)
& has_arg0(R_0012_0024__WILL_R_0012_0025__ALLOW,R_0012_0002__MY) ) ) ) ).