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.”
arc(r_0012_0004__garden, z_000_12_a_wilde_2_1888_9, gen).
arc(r_0012_0005__is, r_0012_0004__garden, arg0).
arc(r_0012_0005__is, r_0012_0008__garden, prd).
arc(r_0012_0008__garden, z_000_12_a_wilde_2_1888_21, gen).
arc(r_0012_0018__can, r_0012_0019__understand, scope).
arc(r_0012_0019__understand, r_0012_0016__any_r_0012_0017__one, arg0).
arc(r_0012_0019__understand, r_0012_0020__that, arg1).
arc(r_0012_0022__and, r_0012_0024__will, conj2).
arc(r_0012_0022__and, z_000_12_a_wilde_2_1888_4, conj1).
arc(r_0012_0024__will, r_0012_0026__nobody_quant, scope).
arc(r_0012_0025__allow, r_0012_0023__I, arg0).
arc(r_0012_0025__allow, r_0012_0023__I, r_0012_0031__but_nim93).
arc(r_0012_0025__allow, r_0012_0027__to_r_0012_0028__play, arg1).
arc(r_0012_0026__nobody_quant, r_0012_0025__allow, scope).
arc(r_0012_0026__nobody_quant, z_000_12_a_wilde_2_1888_76, restriction).
arc(r_0012_0027__to_r_0012_0028__play, r_0012_0004__garden, r_0012_0029__in_nim87).
arc(r_0012_0027__to_r_0012_0028__play, z_000_12_a_wilde_2_1888_76, arg0).
arc(z_000_12_a_wilde_2_1888_21, r_0012_0006__my, gen).
arc(z_000_12_a_wilde_2_1888_21, r_0012_0007__own, attrib25).
arc(z_000_12_a_wilde_2_1888_4, r_0012_0005__is, conj1).
arc(z_000_12_a_wilde_2_1888_4, r_0012_0018__can, conj2).
arc(z_000_12_a_wilde_2_1888_9, r_0012_0002__My, gen).
arc(z_000_12_a_wilde_2_1888_9, r_0012_0003__own, attrib13).
fof(formula,axiom,
? [R_0012_0024__WILL,R_0012_0002__MY,R_0012_0003__OWN,Z_000_12_A_WILDE_2_1888_9,R_0012_0004__GARDEN,R_0012_0006__MY,R_0012_0007__OWN,Z_000_12_A_WILDE_2_1888_21,R_0012_0008__GARDEN,R_0012_0005__IS,R_0012_0016__ANY_R_0012_0017__ONE,R_0012_0020__THAT,R_0012_0018__CAN_R_0012_0019__UNDERSTAND,Z_000_12_A_WILDE_2_1888_4,R_0012_0022__AND] :
( r_0012_0002__My(R_0012_0002__MY)
& r_0012_0003__own(R_0012_0003__OWN)
& r_0012_0006__my(R_0012_0006__MY)
& r_0012_0007__own(R_0012_0007__OWN)
& r_0012_0016__any_r_0012_0017__one(R_0012_0016__ANY_R_0012_0017__ONE)
& r_0012_0020__that(R_0012_0020__THAT)
& r_0012_0022__and(R_0012_0022__AND)
& has_conj1(R_0012_0022__AND,Z_000_12_A_WILDE_2_1888_4)
& z_000_12_a_wilde_2_1888_4(Z_000_12_A_WILDE_2_1888_4)
& has_conj2(Z_000_12_A_WILDE_2_1888_4,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_arg1(R_0012_0018__CAN_R_0012_0019__UNDERSTAND,R_0012_0020__THAT)
& has_arg0(R_0012_0018__CAN_R_0012_0019__UNDERSTAND,R_0012_0016__ANY_R_0012_0017__ONE)
& has_conj1(Z_000_12_A_WILDE_2_1888_4,R_0012_0005__IS)
& r_0012_0005__is(R_0012_0005__IS)
& 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_000_12_A_WILDE_2_1888_21)
& z_000_12_a_wilde_2_1888_21(Z_000_12_A_WILDE_2_1888_21)
& has_attrib25(Z_000_12_A_WILDE_2_1888_21,R_0012_0007__OWN)
& has_gen(Z_000_12_A_WILDE_2_1888_21,R_0012_0006__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_000_12_A_WILDE_2_1888_9)
& z_000_12_a_wilde_2_1888_9(Z_000_12_A_WILDE_2_1888_9)
& has_attrib13(Z_000_12_A_WILDE_2_1888_9,R_0012_0003__OWN)
& has_gen(Z_000_12_A_WILDE_2_1888_9,R_0012_0002__MY)
& has_conj2(R_0012_0022__AND,R_0012_0024__WILL)
& r_0012_0024__will(R_0012_0024__WILL)
& ! [Z_000_12_A_WILDE_2_1888_76] :
( z_000_12_a_wilde_2_1888_76(Z_000_12_A_WILDE_2_1888_76)
=> ? [R_0012_0023__I,R_0012_0027__TO_R_0012_0028__PLAY,R_0012_0025__ALLOW] :
( r_0012_0023__I(R_0012_0023__I)
& r_0012_0025__allow(R_0012_0025__ALLOW)
& has_arg1(R_0012_0025__ALLOW,R_0012_0027__TO_R_0012_0028__PLAY)
& r_0012_0027__to_r_0012_0028__play(R_0012_0027__TO_R_0012_0028__PLAY)
& has_arg0(R_0012_0027__TO_R_0012_0028__PLAY,Z_000_12_A_WILDE_2_1888_76)
& has_r_0012_0029__in_nim87(R_0012_0027__TO_R_0012_0028__PLAY,R_0012_0004__GARDEN)
& has_r_0012_0031__but_nim93(R_0012_0025__ALLOW,R_0012_0023__I)
& has_arg0(R_0012_0025__ALLOW,R_0012_0023__I) ) ) ) ).
( (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))