Context                Previous, Next                Top


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.

%3 r_0013_0002__live live r_0013_0001__I I r_0013_0002__live->r_0013_0001__I [arg0] r_0013_0004__Manchester Manchester r_0013_0002__live->r_0013_0004__Manchester in [clr] r_0013_0005__and and r_0013_0005__and->r_0013_0002__live [conj1] r_0013_0007__can can r_0013_0005__and->r_0013_0007__can [conj2] r_0013_0009__and and r_0013_0007__can->r_0013_0009__and [scope] r_0013_0008__go go r_0013_0009__and->r_0013_0008__go [conj1] r_0013_0010__buy buy r_0013_0009__and->r_0013_0010__buy [conj2] r_0013_0008__go->r_0013_0001__I [arg0] r_0013_0010__buy->r_0013_0001__I [arg0] r_0013_0014__or or r_0013_0010__buy->r_0013_0014__or [arg1] r_0013_0018__a_r_0013_0019__shop a shop r_0013_0010__buy->r_0013_0018__a_r_0013_0019__shop from [nim] r_0013_0011__a_r_0013_0012__Bollywood_r_0013_0013__movie a Bollywood movie r_0013_0014__or->r_0013_0011__a_r_0013_0012__Bollywood_r_0013_0013__movie [conj1] r_0013_0015__a_r_0013_0016__sari a sari r_0013_0014__or->r_0013_0015__a_r_0013_0016__sari [conj2] r_0013_0022__the_r_0013_0023__corner the corner r_0013_0018__a_r_0013_0019__shop->r_0013_0022__the_r_0013_0023__corner just round 
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).


%3 r_0013_0007__can can r_0013_0009__and and r_0013_0007__can->r_0013_0009__and [keep_scope] r_0013_0010__buy buy r_0013_0009__and->r_0013_0010__buy [conj2] r_0013_0008__go go r_0013_0009__and->r_0013_0008__go [conj1] r_0013_0018__a_r_0013_0019__shop a shop r_0013_0022__the_r_0013_0023__corner the corner r_0013_0018__a_r_0013_0019__shop->r_0013_0022__the_r_0013_0023__corner just round r_0013_0014__or or r_0013_0015__a_r_0013_0016__sari a sari r_0013_0014__or->r_0013_0015__a_r_0013_0016__sari [conj2] r_0013_0011__a_r_0013_0012__Bollywood_r_0013_0013__movie a Bollywood movie r_0013_0014__or->r_0013_0011__a_r_0013_0012__Bollywood_r_0013_0013__movie [conj1] r_0013_0010__buy->r_0013_0018__a_r_0013_0019__shop from [nim] r_0013_0010__buy->r_0013_0014__or [arg1] r_0013_0001__I I r_0013_0010__buy->r_0013_0001__I [arg0] r_0013_0008__go->r_0013_0001__I [arg0] r_0013_0005__and and r_0013_0005__and->r_0013_0007__can [conj2] r_0013_0002__live live r_0013_0005__and->r_0013_0002__live [conj1] r_0013_0002__live->r_0013_0001__I [arg0] r_0013_0004__Manchester Manchester r_0013_0002__live->r_0013_0004__Manchester in [clr] 
fof(formula,axiom,
    ? [R_13_5_AND,R_13_2_LIVE,R_13_1_I,R_13_4_MANCHESTER] :
      ( i(R_13_1_I)
      & manchester(R_13_4_MANCHESTER)
      & and(R_13_5_AND)
      & conj1(R_13_5_AND,R_13_2_LIVE)
      & live(R_13_2_LIVE,R_13_1_I)
      & in_clr12(R_13_2_LIVE,R_13_4_MANCHESTER)
      & conj2(R_13_5_AND,R_13_7_CAN)
      & ~ ? [R_13_9_AND,R_13_8_GO,R_13_10_BUY,R_13_14_OR,R_13_11_A_BOLLYWOOD_MOVIE,R_13_15_A_SARI,R_13_18_A_SHOP,R_13_22_THE_CORNER] :
            ( a_Bollywood_movie(R_13_11_A_BOLLYWOOD_MOVIE)
            & a_sari(R_13_15_A_SARI)
            & the_corner(R_13_22_THE_CORNER)
            & and(R_13_9_AND)
            & conj1(R_13_9_AND,R_13_8_GO)
            & go(R_13_8_GO,R_13_1_I)
            & conj2(R_13_9_AND,R_13_10_BUY)
            & buy(R_13_10_BUY,R_13_1_I,R_13_14_OR)
            & or(R_13_14_OR)
            & conj1(R_13_14_OR,R_13_11_A_BOLLYWOOD_MOVIE)
            & conj2(R_13_14_OR,R_13_15_A_SARI)
            & from_nim55(R_13_10_BUY,R_13_18_A_SHOP)
            & a_shop(R_13_18_A_SHOP)
            & just_round(R_13_18_A_SHOP,R_13_22_THE_CORNER) ) ) ).


n13_a_opencities n13_a_opencities__1_1_1_1_1_1 I n13_a_opencities__1_1_1_2_1 live n13_a_opencities__1_1_1_3_1_1 in n13_a_opencities__1_1_1_3_2_1_1 Manchester n13_a_opencities__1_1_2_1_1 and n13_a_opencities__1_1_2_2_1_1_1 I n13_a_opencities__1_1_2_2_2_1 can n13_a_opencities__1_1_2_2_3_1_1_1_1 go n13_a_opencities__1_1_2_2_3_1_2_1_1 and n13_a_opencities__1_1_2_2_3_1_2_2_1_1 buy n13_a_opencities__1_1_2_2_3_1_2_2_2_1_1_1_1 a n13_a_opencities__1_1_2_2_3_1_2_2_2_1_1_2_1 Bollywood n13_a_opencities__1_1_2_2_3_1_2_2_2_1_1_3_1 movie n13_a_opencities__1_1_2_2_3_1_2_2_2_1_2_1_1 or n13_a_opencities__1_1_2_2_3_1_2_2_2_1_2_2_1_1 a n13_a_opencities__1_1_2_2_3_1_2_2_2_1_2_2_2_1 sari n13_a_opencities__1_1_2_2_3_1_2_2_3_1_1 from n13_a_opencities__1_1_2_2_3_1_2_2_3_2_1_1 a n13_a_opencities__1_1_2_2_3_1_2_2_3_2_2_1 shop n13_a_opencities__1_1_2_2_3_1_2_2_3_2_3_1_1 just n13_a_opencities__1_1_2_2_3_1_2_2_3_2_3_2_1 round n13_a_opencities__1_1_2_2_3_1_2_2_3_2_3_3_1_1 the n13_a_opencities__1_1_2_2_3_1_2_2_3_2_3_3_2_1 corner n13_a_opencities__1_2_1 . n13_a_opencities__1 IP-MAT n13_a_opencities__1_1 ILYR n13_a_opencities__1->n13_a_opencities__1_1 n13_a_opencities__1_2 PUNC n13_a_opencities__1->n13_a_opencities__1_2 n13_a_opencities__1_1_1 ILYR n13_a_opencities__1_1->n13_a_opencities__1_1_1 n13_a_opencities__1_1_2 CONJP n13_a_opencities__1_1->n13_a_opencities__1_1_2 n13_a_opencities__1_1_1_1 NP-SBJ n13_a_opencities__1_1_1->n13_a_opencities__1_1_1_1 n13_a_opencities__1_1_1_2 VBP;_Ipr_ n13_a_opencities__1_1_1->n13_a_opencities__1_1_1_2 n13_a_opencities__1_1_1_3 PP-CLR n13_a_opencities__1_1_1->n13_a_opencities__1_1_1_3 n13_a_opencities__1_1_1_1_1 PRO n13_a_opencities__1_1_1_1->n13_a_opencities__1_1_1_1_1 n13_a_opencities__1_1_1_1_1->n13_a_opencities__1_1_1_1_1_1 n13_a_opencities__1_1_1_2->n13_a_opencities__1_1_1_2_1 n13_a_opencities__1_1_1_3_1 P-ROLE n13_a_opencities__1_1_1_3->n13_a_opencities__1_1_1_3_1 n13_a_opencities__1_1_1_3_2 NP n13_a_opencities__1_1_1_3->n13_a_opencities__1_1_1_3_2 n13_a_opencities__1_1_1_3_1->n13_a_opencities__1_1_1_3_1_1 n13_a_opencities__1_1_1_3_2_1 NPR n13_a_opencities__1_1_1_3_2->n13_a_opencities__1_1_1_3_2_1 n13_a_opencities__1_1_1_3_2_1->n13_a_opencities__1_1_1_3_2_1_1 n13_a_opencities__1_1_2_1 CONJ n13_a_opencities__1_1_2->n13_a_opencities__1_1_2_1 n13_a_opencities__1_1_2_2 ILYR n13_a_opencities__1_1_2->n13_a_opencities__1_1_2_2 n13_a_opencities__1_1_2_1->n13_a_opencities__1_1_2_1_1 n13_a_opencities__1_1_2_2_1 NP-SBJ n13_a_opencities__1_1_2_2->n13_a_opencities__1_1_2_2_1 n13_a_opencities__1_1_2_2_2 MD;_cat_Vi_ n13_a_opencities__1_1_2_2->n13_a_opencities__1_1_2_2_2 n13_a_opencities__1_1_2_2_3 IP-INF-CAT n13_a_opencities__1_1_2_2->n13_a_opencities__1_1_2_2_3 n13_a_opencities__1_1_2_2_1_1 PRO n13_a_opencities__1_1_2_2_1->n13_a_opencities__1_1_2_2_1_1 n13_a_opencities__1_1_2_2_1_1->n13_a_opencities__1_1_2_2_1_1_1 n13_a_opencities__1_1_2_2_2->n13_a_opencities__1_1_2_2_2_1 n13_a_opencities__1_1_2_2_3_1 ILYR n13_a_opencities__1_1_2_2_3->n13_a_opencities__1_1_2_2_3_1 n13_a_opencities__1_1_2_2_3_1_1 ILYR n13_a_opencities__1_1_2_2_3_1->n13_a_opencities__1_1_2_2_3_1_1 n13_a_opencities__1_1_2_2_3_1_2 CONJP n13_a_opencities__1_1_2_2_3_1->n13_a_opencities__1_1_2_2_3_1_2 n13_a_opencities__1_1_2_2_3_1_1_1 VB;_I_ n13_a_opencities__1_1_2_2_3_1_1->n13_a_opencities__1_1_2_2_3_1_1_1 n13_a_opencities__1_1_2_2_3_1_1_1->n13_a_opencities__1_1_2_2_3_1_1_1_1 n13_a_opencities__1_1_2_2_3_1_2_1 CONJ n13_a_opencities__1_1_2_2_3_1_2->n13_a_opencities__1_1_2_2_3_1_2_1 n13_a_opencities__1_1_2_2_3_1_2_2 ILYR n13_a_opencities__1_1_2_2_3_1_2->n13_a_opencities__1_1_2_2_3_1_2_2 n13_a_opencities__1_1_2_2_3_1_2_1->n13_a_opencities__1_1_2_2_3_1_2_1_1 n13_a_opencities__1_1_2_2_3_1_2_2_1 VB;_Tn_ n13_a_opencities__1_1_2_2_3_1_2_2->n13_a_opencities__1_1_2_2_3_1_2_2_1 n13_a_opencities__1_1_2_2_3_1_2_2_2 NP-OB1 n13_a_opencities__1_1_2_2_3_1_2_2->n13_a_opencities__1_1_2_2_3_1_2_2_2 n13_a_opencities__1_1_2_2_3_1_2_2_3 PP-NIM n13_a_opencities__1_1_2_2_3_1_2_2->n13_a_opencities__1_1_2_2_3_1_2_2_3 n13_a_opencities__1_1_2_2_3_1_2_2_1->n13_a_opencities__1_1_2_2_3_1_2_2_1_1 n13_a_opencities__1_1_2_2_3_1_2_2_2_1 NLYR n13_a_opencities__1_1_2_2_3_1_2_2_2->n13_a_opencities__1_1_2_2_3_1_2_2_2_1 n13_a_opencities__1_1_2_2_3_1_2_2_2_1_1 NLYR n13_a_opencities__1_1_2_2_3_1_2_2_2_1->n13_a_opencities__1_1_2_2_3_1_2_2_2_1_1 n13_a_opencities__1_1_2_2_3_1_2_2_2_1_2 CONJP n13_a_opencities__1_1_2_2_3_1_2_2_2_1->n13_a_opencities__1_1_2_2_3_1_2_2_2_1_2 n13_a_opencities__1_1_2_2_3_1_2_2_2_1_1_1 D n13_a_opencities__1_1_2_2_3_1_2_2_2_1_1->n13_a_opencities__1_1_2_2_3_1_2_2_2_1_1_1 n13_a_opencities__1_1_2_2_3_1_2_2_2_1_1_2 NPR n13_a_opencities__1_1_2_2_3_1_2_2_2_1_1->n13_a_opencities__1_1_2_2_3_1_2_2_2_1_1_2 n13_a_opencities__1_1_2_2_3_1_2_2_2_1_1_3 N n13_a_opencities__1_1_2_2_3_1_2_2_2_1_1->n13_a_opencities__1_1_2_2_3_1_2_2_2_1_1_3 n13_a_opencities__1_1_2_2_3_1_2_2_2_1_1_1->n13_a_opencities__1_1_2_2_3_1_2_2_2_1_1_1_1 n13_a_opencities__1_1_2_2_3_1_2_2_2_1_1_2->n13_a_opencities__1_1_2_2_3_1_2_2_2_1_1_2_1 n13_a_opencities__1_1_2_2_3_1_2_2_2_1_1_3->n13_a_opencities__1_1_2_2_3_1_2_2_2_1_1_3_1 n13_a_opencities__1_1_2_2_3_1_2_2_2_1_2_1 CONJ n13_a_opencities__1_1_2_2_3_1_2_2_2_1_2->n13_a_opencities__1_1_2_2_3_1_2_2_2_1_2_1 n13_a_opencities__1_1_2_2_3_1_2_2_2_1_2_2 NLYR n13_a_opencities__1_1_2_2_3_1_2_2_2_1_2->n13_a_opencities__1_1_2_2_3_1_2_2_2_1_2_2 n13_a_opencities__1_1_2_2_3_1_2_2_2_1_2_1->n13_a_opencities__1_1_2_2_3_1_2_2_2_1_2_1_1 n13_a_opencities__1_1_2_2_3_1_2_2_2_1_2_2_1 D n13_a_opencities__1_1_2_2_3_1_2_2_2_1_2_2->n13_a_opencities__1_1_2_2_3_1_2_2_2_1_2_2_1 n13_a_opencities__1_1_2_2_3_1_2_2_2_1_2_2_2 N n13_a_opencities__1_1_2_2_3_1_2_2_2_1_2_2->n13_a_opencities__1_1_2_2_3_1_2_2_2_1_2_2_2 n13_a_opencities__1_1_2_2_3_1_2_2_2_1_2_2_1->n13_a_opencities__1_1_2_2_3_1_2_2_2_1_2_2_1_1 n13_a_opencities__1_1_2_2_3_1_2_2_2_1_2_2_2->n13_a_opencities__1_1_2_2_3_1_2_2_2_1_2_2_2_1 n13_a_opencities__1_1_2_2_3_1_2_2_3_1 P-ROLE n13_a_opencities__1_1_2_2_3_1_2_2_3->n13_a_opencities__1_1_2_2_3_1_2_2_3_1 n13_a_opencities__1_1_2_2_3_1_2_2_3_2 NP n13_a_opencities__1_1_2_2_3_1_2_2_3->n13_a_opencities__1_1_2_2_3_1_2_2_3_2 n13_a_opencities__1_1_2_2_3_1_2_2_3_1->n13_a_opencities__1_1_2_2_3_1_2_2_3_1_1 n13_a_opencities__1_1_2_2_3_1_2_2_3_2_1 D n13_a_opencities__1_1_2_2_3_1_2_2_3_2->n13_a_opencities__1_1_2_2_3_1_2_2_3_2_1 n13_a_opencities__1_1_2_2_3_1_2_2_3_2_2 N n13_a_opencities__1_1_2_2_3_1_2_2_3_2->n13_a_opencities__1_1_2_2_3_1_2_2_3_2_2 n13_a_opencities__1_1_2_2_3_1_2_2_3_2_3 PP n13_a_opencities__1_1_2_2_3_1_2_2_3_2->n13_a_opencities__1_1_2_2_3_1_2_2_3_2_3 n13_a_opencities__1_1_2_2_3_1_2_2_3_2_1->n13_a_opencities__1_1_2_2_3_1_2_2_3_2_1_1 n13_a_opencities__1_1_2_2_3_1_2_2_3_2_2->n13_a_opencities__1_1_2_2_3_1_2_2_3_2_2_1 n13_a_opencities__1_1_2_2_3_1_2_2_3_2_3_1 ADV n13_a_opencities__1_1_2_2_3_1_2_2_3_2_3->n13_a_opencities__1_1_2_2_3_1_2_2_3_2_3_1 n13_a_opencities__1_1_2_2_3_1_2_2_3_2_3_2 P-ROLE n13_a_opencities__1_1_2_2_3_1_2_2_3_2_3->n13_a_opencities__1_1_2_2_3_1_2_2_3_2_3_2 n13_a_opencities__1_1_2_2_3_1_2_2_3_2_3_3 NP n13_a_opencities__1_1_2_2_3_1_2_2_3_2_3->n13_a_opencities__1_1_2_2_3_1_2_2_3_2_3_3 n13_a_opencities__1_1_2_2_3_1_2_2_3_2_3_1->n13_a_opencities__1_1_2_2_3_1_2_2_3_2_3_1_1 n13_a_opencities__1_1_2_2_3_1_2_2_3_2_3_2->n13_a_opencities__1_1_2_2_3_1_2_2_3_2_3_2_1 n13_a_opencities__1_1_2_2_3_1_2_2_3_2_3_3_1 D n13_a_opencities__1_1_2_2_3_1_2_2_3_2_3_3->n13_a_opencities__1_1_2_2_3_1_2_2_3_2_3_3_1 n13_a_opencities__1_1_2_2_3_1_2_2_3_2_3_3_2 N n13_a_opencities__1_1_2_2_3_1_2_2_3_2_3_3->n13_a_opencities__1_1_2_2_3_1_2_2_3_2_3_3_2 n13_a_opencities__1_1_2_2_3_1_2_2_3_2_3_3_1->n13_a_opencities__1_1_2_2_3_1_2_2_3_2_3_3_1_1 n13_a_opencities__1_1_2_2_3_1_2_2_3_2_3_3_2->n13_a_opencities__1_1_2_2_3_1_2_2_3_2_3_3_2_1 n13_a_opencities__1_2->n13_a_opencities__1_2_1 
( (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))