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_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 [keep_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 
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_6 I n13_a_opencities_8 live n13_a_opencities_11 in n13_a_opencities_14 Manchester n13_a_opencities_17 and n13_a_opencities_21 I n13_a_opencities_23 can n13_a_opencities_28 go n13_a_opencities_31 and n13_a_opencities_34 buy n13_a_opencities_39 a n13_a_opencities_41 Bollywood n13_a_opencities_43 movie n13_a_opencities_46 or n13_a_opencities_49 a n13_a_opencities_51 sari n13_a_opencities_54 from n13_a_opencities_57 a n13_a_opencities_59 shop n13_a_opencities_62 just n13_a_opencities_64 round n13_a_opencities_67 the n13_a_opencities_69 corner n13_a_opencities_71 . n13_a_opencities_1 IP-MAT n13_a_opencities_2 ILYR n13_a_opencities_1->n13_a_opencities_2 n13_a_opencities_70 PUNC n13_a_opencities_1->n13_a_opencities_70 n13_a_opencities_3 ILYR n13_a_opencities_2->n13_a_opencities_3 n13_a_opencities_15 CONJP n13_a_opencities_2->n13_a_opencities_15 n13_a_opencities_4 NP-SBJ n13_a_opencities_3->n13_a_opencities_4 n13_a_opencities_7 VBP;_Ipr_ n13_a_opencities_3->n13_a_opencities_7 n13_a_opencities_9 PP-CLR n13_a_opencities_3->n13_a_opencities_9 n13_a_opencities_5 PRO n13_a_opencities_4->n13_a_opencities_5 n13_a_opencities_5->n13_a_opencities_6 n13_a_opencities_7->n13_a_opencities_8 n13_a_opencities_10 P-ROLE n13_a_opencities_9->n13_a_opencities_10 n13_a_opencities_12 NP n13_a_opencities_9->n13_a_opencities_12 n13_a_opencities_10->n13_a_opencities_11 n13_a_opencities_13 NPR n13_a_opencities_12->n13_a_opencities_13 n13_a_opencities_13->n13_a_opencities_14 n13_a_opencities_16 CONJ n13_a_opencities_15->n13_a_opencities_16 n13_a_opencities_18 ILYR n13_a_opencities_15->n13_a_opencities_18 n13_a_opencities_16->n13_a_opencities_17 n13_a_opencities_19 NP-SBJ n13_a_opencities_18->n13_a_opencities_19 n13_a_opencities_22 MD;_cat_Vi_ n13_a_opencities_18->n13_a_opencities_22 n13_a_opencities_24 IP-INF-CAT n13_a_opencities_18->n13_a_opencities_24 n13_a_opencities_20 PRO n13_a_opencities_19->n13_a_opencities_20 n13_a_opencities_20->n13_a_opencities_21 n13_a_opencities_22->n13_a_opencities_23 n13_a_opencities_25 ILYR n13_a_opencities_24->n13_a_opencities_25 n13_a_opencities_26 ILYR n13_a_opencities_25->n13_a_opencities_26 n13_a_opencities_29 CONJP n13_a_opencities_25->n13_a_opencities_29 n13_a_opencities_27 VB;_I_ n13_a_opencities_26->n13_a_opencities_27 n13_a_opencities_27->n13_a_opencities_28 n13_a_opencities_30 CONJ n13_a_opencities_29->n13_a_opencities_30 n13_a_opencities_32 ILYR n13_a_opencities_29->n13_a_opencities_32 n13_a_opencities_30->n13_a_opencities_31 n13_a_opencities_33 VB;_Tn_ n13_a_opencities_32->n13_a_opencities_33 n13_a_opencities_35 NP-OB1 n13_a_opencities_32->n13_a_opencities_35 n13_a_opencities_52 PP-NIM n13_a_opencities_32->n13_a_opencities_52 n13_a_opencities_33->n13_a_opencities_34 n13_a_opencities_36 NLYR n13_a_opencities_35->n13_a_opencities_36 n13_a_opencities_37 NLYR n13_a_opencities_36->n13_a_opencities_37 n13_a_opencities_44 CONJP n13_a_opencities_36->n13_a_opencities_44 n13_a_opencities_38 D n13_a_opencities_37->n13_a_opencities_38 n13_a_opencities_40 NPR n13_a_opencities_37->n13_a_opencities_40 n13_a_opencities_42 N n13_a_opencities_37->n13_a_opencities_42 n13_a_opencities_38->n13_a_opencities_39 n13_a_opencities_40->n13_a_opencities_41 n13_a_opencities_42->n13_a_opencities_43 n13_a_opencities_45 CONJ n13_a_opencities_44->n13_a_opencities_45 n13_a_opencities_47 NLYR n13_a_opencities_44->n13_a_opencities_47 n13_a_opencities_45->n13_a_opencities_46 n13_a_opencities_48 D n13_a_opencities_47->n13_a_opencities_48 n13_a_opencities_50 N n13_a_opencities_47->n13_a_opencities_50 n13_a_opencities_48->n13_a_opencities_49 n13_a_opencities_50->n13_a_opencities_51 n13_a_opencities_53 P-ROLE n13_a_opencities_52->n13_a_opencities_53 n13_a_opencities_55 NP n13_a_opencities_52->n13_a_opencities_55 n13_a_opencities_53->n13_a_opencities_54 n13_a_opencities_56 D n13_a_opencities_55->n13_a_opencities_56 n13_a_opencities_58 N n13_a_opencities_55->n13_a_opencities_58 n13_a_opencities_60 PP n13_a_opencities_55->n13_a_opencities_60 n13_a_opencities_56->n13_a_opencities_57 n13_a_opencities_58->n13_a_opencities_59 n13_a_opencities_61 ADV n13_a_opencities_60->n13_a_opencities_61 n13_a_opencities_63 P-ROLE n13_a_opencities_60->n13_a_opencities_63 n13_a_opencities_65 NP n13_a_opencities_60->n13_a_opencities_65 n13_a_opencities_61->n13_a_opencities_62 n13_a_opencities_63->n13_a_opencities_64 n13_a_opencities_66 D n13_a_opencities_65->n13_a_opencities_66 n13_a_opencities_68 N n13_a_opencities_65->n13_a_opencities_68 n13_a_opencities_66->n13_a_opencities_67 n13_a_opencities_68->n13_a_opencities_69 n13_a_opencities_70->n13_a_opencities_71 
( (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))