13_a_opencities
I live in Manchester and I can go and buy a Bollywood movie or a sari from a shop just round the corner.
arc(r_0013_0002__live, r_0013_0001__I, arg0).
arc(r_0013_0002__live, r_0013_0004__Manchester, r_0013_0003__in_clr12).
arc(r_0013_0005__and, r_0013_0002__live, conj1).
arc(r_0013_0005__and, r_0013_0007__can, conj2).
arc(r_0013_0007__can, r_0013_0009__and, scope).
arc(r_0013_0008__go, r_0013_0001__I, arg0).
arc(r_0013_0009__and, r_0013_0008__go, conj1).
arc(r_0013_0009__and, r_0013_0010__buy, conj2).
arc(r_0013_0010__buy, r_0013_0001__I, arg0).
arc(r_0013_0010__buy, r_0013_0014__or, arg1).
arc(r_0013_0010__buy, r_0013_0018__a_r_0013_0019__shop, r_0013_0017__from_nim55).
arc(r_0013_0014__or, r_0013_0011__a_r_0013_0012__Bollywood_r_0013_0013__movie, conj1).
arc(r_0013_0014__or, r_0013_0015__a_r_0013_0016__sari, conj2).
arc(r_0013_0018__a_r_0013_0019__shop, r_0013_0022__the_r_0013_0023__corner, r_0013_0020__just_r_0013_0021__round).
fof(formula,axiom,
? [R_0013_0001__I,R_0013_0004__MANCHESTER,R_0013_0002__LIVE,R_0013_0008__GO,R_0013_0011__A_R_0013_0012__BOLLYWOOD_R_0013_0013__MOVIE,R_0013_0015__A_R_0013_0016__SARI,R_0013_0014__OR,R_0013_0022__THE_R_0013_0023__CORNER,R_0013_0018__A_R_0013_0019__SHOP,R_0013_0010__BUY,R_0013_0009__AND,R_0013_0007__CAN,R_0013_0005__AND] :
( r_0013_0001__I(R_0013_0001__I)
& r_0013_0004__Manchester(R_0013_0004__MANCHESTER)
& r_0013_0011__a_r_0013_0012__Bollywood_r_0013_0013__movie(R_0013_0011__A_R_0013_0012__BOLLYWOOD_R_0013_0013__MOVIE)
& r_0013_0015__a_r_0013_0016__sari(R_0013_0015__A_R_0013_0016__SARI)
& r_0013_0022__the_r_0013_0023__corner(R_0013_0022__THE_R_0013_0023__CORNER)
& r_0013_0005__and(R_0013_0005__AND)
& has_conj2(R_0013_0005__AND,R_0013_0007__CAN)
& r_0013_0007__can(R_0013_0007__CAN)
& has_keep_scope(R_0013_0007__CAN,R_0013_0009__AND)
& r_0013_0009__and(R_0013_0009__AND)
& has_conj2(R_0013_0009__AND,R_0013_0010__BUY)
& r_0013_0010__buy(R_0013_0010__BUY)
& has_r_0013_0017__from_nim55(R_0013_0010__BUY,R_0013_0018__A_R_0013_0019__SHOP)
& r_0013_0018__a_r_0013_0019__shop(R_0013_0018__A_R_0013_0019__SHOP)
& has_r_0013_0020__just_r_0013_0021__round(R_0013_0018__A_R_0013_0019__SHOP,R_0013_0022__THE_R_0013_0023__CORNER)
& has_arg1(R_0013_0010__BUY,R_0013_0014__OR)
& r_0013_0014__or(R_0013_0014__OR)
& has_conj2(R_0013_0014__OR,R_0013_0015__A_R_0013_0016__SARI)
& has_conj1(R_0013_0014__OR,R_0013_0011__A_R_0013_0012__BOLLYWOOD_R_0013_0013__MOVIE)
& has_arg0(R_0013_0010__BUY,R_0013_0001__I)
& has_conj1(R_0013_0009__AND,R_0013_0008__GO)
& r_0013_0008__go(R_0013_0008__GO)
& has_arg0(R_0013_0008__GO,R_0013_0001__I)
& has_conj1(R_0013_0005__AND,R_0013_0002__LIVE)
& r_0013_0002__live(R_0013_0002__LIVE)
& has_r_0013_0003__in_clr12(R_0013_0002__LIVE,R_0013_0004__MANCHESTER)
& has_arg0(R_0013_0002__LIVE,R_0013_0001__I) ) ).
( (IP-MAT (ILYR (ILYR (NP-SBJ (PRO I;{I}))
(VBP;_Ipr_ live;{live[in]})
(PP-CLR (P-ROLE in;{in})
(NP (NPR Manchester;{Manchester}))))
(CONJP (CONJ and;{and})
(ILYR (NP-SBJ (PRO I;{I}))
(MD;_cat_Vi_ can;{can})
(IP-INF-CAT (ILYR (ILYR (VB;_I_ go;{go}))
(CONJP (CONJ and;{and})
(ILYR (VB;_Tn_ buy;{buy})
(NP-OB1 (NLYR (NLYR (D a;{a})
(NPR Bollywood;{Bollywood})
(N movie;{movie}))
(CONJP (CONJ or;{or})
(NLYR (D a;{a})
(N sari;{sari})))))
(PP-NIM (P-ROLE from;{from})
(NP (D a;{a})
(N shop;{shop})
(PP (ADV just;{just})
(P-ROLE round;{round})
(NP (D the;{the})
(N corner;{corner}))))))))))))
(PUNC .))
(ID 13_a_opencities))