18_a_wilde_2_1888
They used to wander round the high wall when their lessons were over, and talk about the beautiful garden inside.
arc(r_0018_0002__used, r_0018_0015__and, scope).
arc(r_0018_0004__wander, r_0018_0001__They, arg0).
arc(r_0018_0004__wander, r_0018_0006__the_r_0018_0008__wall, r_0018_0005__round_clr17).
arc(r_0018_0006__the_r_0018_0008__wall, r_0018_0007__high, attrib20).
arc(r_0018_0009__when, r_0018_0004__wander, scope).
arc(r_0018_0009__when, r_0018_0012__were, restriction).
arc(r_0018_0011__lessons, r_0018_0001__They, gen).
arc(r_0018_0012__were, r_0018_0011__lessons, arg0).
arc(r_0018_0012__were, r_0018_0013__over, clr37).
arc(r_0018_0015__and, r_0018_0009__when, conj1).
arc(r_0018_0015__and, r_0018_0016__talk, conj2).
arc(r_0018_0016__talk, r_0018_0001__They, arg0).
arc(r_0018_0016__talk, r_0018_0018__the_r_0018_0020__garden, r_0018_0017__about_clr51).
arc(r_0018_0018__the_r_0018_0020__garden, r_0018_0019__beautiful, attrib54).
arc(r_0018_0018__the_r_0018_0020__garden, r_0018_0021__inside, qual59).
fof(formula,axiom,
~ ? [R_18_15_AND,R_18_16_TALK,R_18_1_THEY,R_18_18_THE_GARDEN,R_18_19_BEAUTIFUL,R_18_21_INSIDE] :
( they(R_18_1_THEY)
& beautiful(R_18_19_BEAUTIFUL)
& inside(R_18_21_INSIDE)
& ! [R_18_12_WERE,R_18_11_LESSONS,R_18_13_OVER] :
( ( over(R_18_13_OVER)
& were(R_18_12_WERE,R_18_11_LESSONS)
& lessons(R_18_11_LESSONS)
& gen(R_18_11_LESSONS,R_18_1_THEY)
& clr37(R_18_12_WERE,R_18_13_OVER) )
=> ? [R_18_4_WANDER,R_18_6_THE_WALL,R_18_7_HIGH] :
( high(R_18_7_HIGH)
& wander(R_18_4_WANDER,R_18_1_THEY)
& round_clr17(R_18_4_WANDER,R_18_6_THE_WALL)
& the_wall(R_18_6_THE_WALL)
& attrib20(R_18_6_THE_WALL,R_18_7_HIGH) ) )
& conj1(CONJ1)
& and(R_18_15_AND)
& conj2(R_18_15_AND,R_18_16_TALK)
& talk(R_18_16_TALK,R_18_1_THEY)
& about_clr51(R_18_16_TALK,R_18_18_THE_GARDEN)
& the_garden(R_18_18_THE_GARDEN)
& attrib54(R_18_18_THE_GARDEN,R_18_19_BEAUTIFUL)
& qual59(R_18_18_THE_GARDEN,R_18_21_INSIDE) ) ).
( (IP-MAT (NP-SBJ;{CHILDREN} (PRO They;{they}))
(MD;_cat_Vt_ used;{used})
(IP-INF-CAT (TO to;{to})
(ILYR (ILYR (VB;_Ipr_ wander;{wander[round]})
(PP-CLR (P-ROLE round;{round})
(NP (D the;{the})
(ADJP (ADJ high;{high}))
(N wall;{wall})))
(PP-SCON (P-CONN when;{when})
(IP-ADV (NP-SBJ (NP-GEN;{CHILDREN} (PRO;_genm_ their;{their}))
(NS lessons;{lesson}))
(BED;_Ip_ were;{be[over]})
(ADVP-CLR (RP over;{over})))))
(PUNC ,)
(CONJP (CONJ and;{and})
(ILYR (VB;_Ipr_ talk;{talk[about]})
(PP-CLR (P-ROLE about;{about})
(NP (D the;{the})
(ADJP (ADJ beautiful;{beautiful}))
(N garden;{garden})
(ADVP-NIM (ADV inside;{inside}))))))))
(PUNC .))
(ID 18_a_wilde_2_1888))