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_12_22_AND,Z_12_A_WILDE_2_1888_4,R_12_5_IS,R_12_4_GARDEN,Z_12_A_WILDE_2_1888_9,R_12_3_OWN,R_12_2_MY,R_12_8_GARDEN,Z_12_A_WILDE_2_1888_21,R_12_7_OWN,R_12_6_MY,R_12_18_CAN_UNDERSTAND,R_12_16_ANY_ONE,R_12_20_THAT] :
( own(R_12_3_OWN)
& my(R_12_2_MY)
& own(R_12_7_OWN)
& my(R_12_6_MY)
& any_one(R_12_16_ANY_ONE)
& that(R_12_20_THAT)
& and(R_12_22_AND)
& conj1(R_12_22_AND,Z_12_A_WILDE_2_1888_4)
& z_12_a_wilde_2_1888_4(Z_12_A_WILDE_2_1888_4)
& conj1(Z_12_A_WILDE_2_1888_4,R_12_5_IS)
& is(R_12_5_IS,R_12_4_GARDEN,R_12_8_GARDEN)
& garden(R_12_4_GARDEN)
& gen(R_12_4_GARDEN,Z_12_A_WILDE_2_1888_9)
& z_12_a_wilde_2_1888_9(Z_12_A_WILDE_2_1888_9)
& attrib13(Z_12_A_WILDE_2_1888_9,R_12_3_OWN)
& gen(Z_12_A_WILDE_2_1888_9,R_12_2_MY)
& garden(R_12_8_GARDEN)
& gen(R_12_8_GARDEN,Z_12_A_WILDE_2_1888_21)
& z_12_a_wilde_2_1888_21(Z_12_A_WILDE_2_1888_21)
& attrib25(Z_12_A_WILDE_2_1888_21,R_12_7_OWN)
& gen(Z_12_A_WILDE_2_1888_21,R_12_6_MY)
& conj2(Z_12_A_WILDE_2_1888_4,R_12_18_CAN_UNDERSTAND)
& can_understand(R_12_18_CAN_UNDERSTAND,R_12_16_ANY_ONE,R_12_20_THAT)
& conj2(R_12_22_AND,R_12_24_WILL)
& ~ ! [Z_12_A_WILDE_2_1888_76] :
( true
=> ? [R_12_25_ALLOW,R_12_27_TO_PLAY,R_12_23_I] :
( i(R_12_23_I)
& allow(R_12_25_ALLOW,R_12_23_I,R_12_27_TO_PLAY)
& to_play(R_12_27_TO_PLAY,Z_12_A_WILDE_2_1888_76)
& in_nim87(R_12_27_TO_PLAY,R_12_4_GARDEN)
& but_nim93(R_12_25_ALLOW,R_12_23_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))