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.
( (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 (ADVP-NIM (ADV just;{just}))
(P-ROLE round;{round})
(NP (D the;{the})
(N corner;{corner}))))))))))))
(PUNC .))
(ID 13_a_opencities))
arc(r_0013_0002__live_r_0013_0003__in,r_0013_0001__I,arg0).
arc(r_0013_0002__live_r_0013_0003__in,r_0013_0004__Manchester,arg1).
arc(r_0013_0005__and,r_0013_0002__live_r_0013_0003__in,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__nim).
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_0003__IN,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__nim(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_0003__IN)
& r_0013_0002__live_r_0013_0003__in(R_0013_0002__LIVE_R_0013_0003__IN)
& has_arg1(R_0013_0002__LIVE_R_0013_0003__IN,R_0013_0004__MANCHESTER)
& has_arg0(R_0013_0002__LIVE_R_0013_0003__IN,R_0013_0001__I) ) ).