8_a_maptext
Coming out of the wood take the footpath which passes by an old ruined house.
arc(r_0008_0001__Coming, r_0008_0003__the_r_0008_0004__wood, r_0008_0002__out_of_clr9).
arc(r_0008_0001__Coming, z_000_8_a_maptext_1, arg0).
arc(r_0008_0005__take, r_0008_0006__the_r_0008_0007__footpath, arg1).
arc(r_0008_0005__take, z_000_8_a_maptext_1, arg0).
arc(r_0008_0009__passes, r_0008_0006__the_r_0008_0007__footpath, arg0).
arc(r_0008_0009__passes, r_0008_0011__an_r_0008_0014__house, r_0008_0010__by_clr30).
arc(r_0008_0011__an_r_0008_0014__house, r_0008_0012__old, attrib33).
arc(r_0008_0011__an_r_0008_0014__house, r_0008_0013__ruined, attrib36).
arc(z_000_8_a_maptext_2, r_0008_0001__Coming, restriction).
arc(z_000_8_a_maptext_2, r_0008_0005__take, scope).
fof(formula,axiom,
? [R_8_9_PASSES,R_8_11_AN_HOUSE,R_8_12_OLD,R_8_13_RUINED,Z_8_A_MAPTEXT_2,R_8_1_COMING,R_8_3_THE_WOOD,R_8_5_TAKE,Z_8_A_MAPTEXT_1,R_8_6_THE_FOOTPATH] :
( old(R_8_12_OLD)
& ruined(R_8_13_RUINED)
& the_wood(R_8_3_THE_WOOD)
& the_footpath(R_8_6_THE_FOOTPATH)
& passes(R_8_9_PASSES,R_8_6_THE_FOOTPATH)
& by_clr30(R_8_9_PASSES,R_8_11_AN_HOUSE)
& an_house(R_8_11_AN_HOUSE)
& attrib33(R_8_11_AN_HOUSE,R_8_12_OLD)
& attrib36(R_8_11_AN_HOUSE,R_8_13_RUINED)
& z_8_a_maptext_2(Z_8_A_MAPTEXT_2)
& conj1(Z_8_A_MAPTEXT_2,R_8_1_COMING)
& coming(R_8_1_COMING,Z_8_A_MAPTEXT_1)
& out_of_clr9(R_8_1_COMING,R_8_3_THE_WOOD)
& conj2(Z_8_A_MAPTEXT_2,R_8_5_TAKE)
& take(R_8_5_TAKE,Z_8_A_MAPTEXT_1,R_8_6_THE_FOOTPATH) ) ).
( (IP-IMP (PP-SCON (IP-PPL (VAG;_Ipr_ Coming;{come[out_of]})
(PP-CLR (P-ROLE out_of;{out_of})
(NP;{WOOD} (D the;{the})
(N wood;{wood})))))
(VB;_Tn_ take;{take})
(NP-OB1 (D the;{the})
(N footpath;{footpath})
(IP-REL (NP-SBJ (RPRO which;{which}))
(VBP;_Ipr_ passes;{pass[by]})
(PP-CLR (P-ROLE by;{by})
(NP (D an;{an})
(ADJP (ADJ old;{old}))
(ADJP (ADJ ruined;{ruined}))
(N house;{house})))))
(PUNC .))
(ID 8_a_maptext))