14_a_opencities
I think that's terrific when I walk out in the street and see people wearing colourful clothes from all round the world.

%3 r_0014_0002__think think r_0014_0001__I I r_0014_0002__think->r_0014_0001__I [arg0] r_0014_0004___apos_s 's r_0014_0002__think->r_0014_0004___apos_s [arg1] r_0014_0003__that that r_0014_0004___apos_s->r_0014_0003__that [arg0] r_0014_0005__terrific terrific r_0014_0004___apos_s->r_0014_0005__terrific [prd] r_0014_0006__when when r_0014_0006__when->r_0014_0002__think [scope] r_0014_0013__and and r_0014_0006__when->r_0014_0013__and [restriction] r_0014_0008__walk_r_0014_0009__out walk out r_0014_0013__and->r_0014_0008__walk_r_0014_0009__out [conj1] r_0014_0014__see see r_0014_0013__and->r_0014_0014__see [conj2] r_0014_0008__walk_r_0014_0009__out->r_0014_0001__I [arg0] r_0014_0011__the_r_0014_0012__street the street r_0014_0008__walk_r_0014_0009__out->r_0014_0011__the_r_0014_0012__street in [nim] r_0014_0014__see->r_0014_0001__I [arg0] r_0014_0015__people people r_0014_0014__see->r_0014_0015__people [arg1] r_0014_0016__wearing wearing r_0014_0016__wearing->r_0014_0015__people [arg0] r_0014_0018__clothes clothes r_0014_0016__wearing->r_0014_0018__clothes [arg1] r_0014_0017__colourful colourful r_0014_0018__clothes->r_0014_0017__colourful [attrib] r_0014_0021__the_r_0014_0022__world the world r_0014_0018__clothes->r_0014_0021__the_r_0014_0022__world from r_0014_0020__all_round all round r_0014_0021__the_r_0014_0022__world->r_0014_0020__all_round [qual]
arc(r_0014_0002__think, r_0014_0001__I, arg0).
arc(r_0014_0002__think, r_0014_0004___apos_s, arg1).
arc(r_0014_0004___apos_s, r_0014_0003__that, arg0).
arc(r_0014_0004___apos_s, r_0014_0005__terrific, prd).
arc(r_0014_0006__when, r_0014_0002__think, scope).
arc(r_0014_0006__when, r_0014_0013__and, restriction).
arc(r_0014_0008__walk_r_0014_0009__out, r_0014_0001__I, arg0).
arc(r_0014_0008__walk_r_0014_0009__out, r_0014_0011__the_r_0014_0012__street, r_0014_0010__in_nim33).
arc(r_0014_0013__and, r_0014_0008__walk_r_0014_0009__out, conj1).
arc(r_0014_0013__and, r_0014_0014__see, conj2).
arc(r_0014_0014__see, r_0014_0001__I, arg0).
arc(r_0014_0014__see, r_0014_0015__people, arg1).
arc(r_0014_0016__wearing, r_0014_0015__people, arg0).
arc(r_0014_0016__wearing, r_0014_0018__clothes, arg1).
arc(r_0014_0018__clothes, r_0014_0017__colourful, attrib51).
arc(r_0014_0018__clothes, r_0014_0021__the_r_0014_0022__world, r_0014_0019__from).
arc(r_0014_0021__the_r_0014_0022__world, r_0014_0020__all_round, qual60).



%3 r_0014_0002__think think r_0014_0001__I I r_0014_0002__think->r_0014_0001__I [arg0] r_0014_0004___apos_s 's r_0014_0002__think->r_0014_0004___apos_s [arg1] r_0014_0003__that that r_0014_0004___apos_s->r_0014_0003__that [arg0] r_0014_0005__terrific terrific r_0014_0004___apos_s->r_0014_0005__terrific [prd] r_0014_0006__when when r_0014_0006__when->r_0014_0002__think [scope] r_0014_0013__and and r_0014_0006__when->r_0014_0013__and [restriction] r_0014_0008__walk_r_0014_0009__out walk out r_0014_0013__and->r_0014_0008__walk_r_0014_0009__out [conj1] r_0014_0014__see see r_0014_0013__and->r_0014_0014__see [conj2] r_0014_0008__walk_r_0014_0009__out->r_0014_0001__I [arg0] r_0014_0011__the_r_0014_0012__street the street r_0014_0008__walk_r_0014_0009__out->r_0014_0011__the_r_0014_0012__street in [nim] r_0014_0014__see->r_0014_0001__I [arg0] r_0014_0015__people people r_0014_0014__see->r_0014_0015__people [arg1] r_0014_0016__wearing wearing r_0014_0016__wearing->r_0014_0015__people [arg0] r_0014_0018__clothes clothes r_0014_0016__wearing->r_0014_0018__clothes [arg1] r_0014_0017__colourful colourful r_0014_0018__clothes->r_0014_0017__colourful [attrib] r_0014_0021__the_r_0014_0022__world the world r_0014_0018__clothes->r_0014_0021__the_r_0014_0022__world from r_0014_0020__all_round all round r_0014_0021__the_r_0014_0022__world->r_0014_0020__all_round [qual]
fof(formula,axiom,
    ? [R_14_16_WEARING,R_14_15_PEOPLE,R_14_18_CLOTHES,R_14_17_COLOURFUL,R_14_21_THE_WORLD,R_14_20_ALL_ROUND] :
      ( people(R_14_15_PEOPLE)
      & colourful(R_14_17_COLOURFUL)
      & all_round(R_14_20_ALL_ROUND)
      & ! [R_14_13_AND,R_14_8_WALK_OUT,R_14_11_THE_STREET,R_14_14_SEE,R_14_1_I] :
          ( ( the_street(R_14_11_THE_STREET)
            & i(R_14_1_I)
            & and(R_14_13_AND)
            & conj1(R_14_13_AND,R_14_8_WALK_OUT)
            & walk_out(R_14_8_WALK_OUT,R_14_1_I)
            & in_nim33(R_14_8_WALK_OUT,R_14_11_THE_STREET)
            & conj2(R_14_13_AND,R_14_14_SEE)
            & see(R_14_14_SEE,R_14_1_I,R_14_15_PEOPLE) )
         => ? [R_14_2_THINK,R_14_4__APOS_S,R_14_3_THAT,R_14_5_TERRIFIC] :
              ( that(R_14_3_THAT)
              & terrific(R_14_5_TERRIFIC)
              & think(R_14_2_THINK,R_14_1_I,R_14_4__APOS_S)
              & _apos_s(R_14_4__APOS_S,R_14_3_THAT,R_14_5_TERRIFIC) ) )
      & wearing(R_14_16_WEARING,R_14_15_PEOPLE,R_14_18_CLOTHES)
      & clothes(R_14_18_CLOTHES)
      & attrib51(R_14_18_CLOTHES,R_14_17_COLOURFUL)
      & from(R_14_18_CLOTHES,R_14_21_THE_WORLD)
      & the_world(R_14_21_THE_WORLD)
      & qual60(R_14_21_THE_WORLD,R_14_20_ALL_ROUND) ) ).



n14_a_opencities n14_a_opencities_4 I n14_a_opencities_6 think n14_a_opencities_11 that n14_a_opencities_13 's n14_a_opencities_16 terrific n14_a_opencities_19 when n14_a_opencities_23 I n14_a_opencities_27 walk n14_a_opencities_29 out n14_a_opencities_32 in n14_a_opencities_35 the n14_a_opencities_37 street n14_a_opencities_40 and n14_a_opencities_43 see n14_a_opencities_46 people n14_a_opencities_49 wearing n14_a_opencities_53 colourful n14_a_opencities_55 clothes n14_a_opencities_58 from n14_a_opencities_62 all_round n14_a_opencities_64 the n14_a_opencities_66 world n14_a_opencities_68 . n14_a_opencities_1 IP-MAT n14_a_opencities_2 NP-SBJ n14_a_opencities_1->n14_a_opencities_2 n14_a_opencities_5 VBP;_Tf_ n14_a_opencities_1->n14_a_opencities_5 n14_a_opencities_7 CP-THT-OB1 n14_a_opencities_1->n14_a_opencities_7 n14_a_opencities_17 PP-SCON n14_a_opencities_1->n14_a_opencities_17 n14_a_opencities_67 PUNC n14_a_opencities_1->n14_a_opencities_67 n14_a_opencities_3 PRO n14_a_opencities_2->n14_a_opencities_3 n14_a_opencities_3->n14_a_opencities_4 n14_a_opencities_5->n14_a_opencities_6 n14_a_opencities_8 IP-SUB n14_a_opencities_7->n14_a_opencities_8 n14_a_opencities_9 NP-SBJ n14_a_opencities_8->n14_a_opencities_9 n14_a_opencities_12 BEP;_La_ n14_a_opencities_8->n14_a_opencities_12 n14_a_opencities_14 ADJP-PRD n14_a_opencities_8->n14_a_opencities_14 n14_a_opencities_10 D;_nphd_ n14_a_opencities_9->n14_a_opencities_10 n14_a_opencities_10->n14_a_opencities_11 n14_a_opencities_12->n14_a_opencities_13 n14_a_opencities_15 ADJ n14_a_opencities_14->n14_a_opencities_15 n14_a_opencities_15->n14_a_opencities_16 n14_a_opencities_18 P-CONN n14_a_opencities_17->n14_a_opencities_18 n14_a_opencities_20 IP-ADV n14_a_opencities_17->n14_a_opencities_20 n14_a_opencities_18->n14_a_opencities_19 n14_a_opencities_21 NP-SBJ n14_a_opencities_20->n14_a_opencities_21 n14_a_opencities_24 ILYR n14_a_opencities_20->n14_a_opencities_24 n14_a_opencities_22 PRO n14_a_opencities_21->n14_a_opencities_22 n14_a_opencities_22->n14_a_opencities_23 n14_a_opencities_25 ILYR n14_a_opencities_24->n14_a_opencities_25 n14_a_opencities_38 CONJP n14_a_opencities_24->n14_a_opencities_38 n14_a_opencities_26 VBP;_phr_Vp_ n14_a_opencities_25->n14_a_opencities_26 n14_a_opencities_28 RP n14_a_opencities_25->n14_a_opencities_28 n14_a_opencities_30 PP-NIM n14_a_opencities_25->n14_a_opencities_30 n14_a_opencities_26->n14_a_opencities_27 n14_a_opencities_28->n14_a_opencities_29 n14_a_opencities_31 P-ROLE n14_a_opencities_30->n14_a_opencities_31 n14_a_opencities_33 NP n14_a_opencities_30->n14_a_opencities_33 n14_a_opencities_31->n14_a_opencities_32 n14_a_opencities_34 D n14_a_opencities_33->n14_a_opencities_34 n14_a_opencities_36 N n14_a_opencities_33->n14_a_opencities_36 n14_a_opencities_34->n14_a_opencities_35 n14_a_opencities_36->n14_a_opencities_37 n14_a_opencities_39 CONJ n14_a_opencities_38->n14_a_opencities_39 n14_a_opencities_41 ILYR n14_a_opencities_38->n14_a_opencities_41 n14_a_opencities_39->n14_a_opencities_40 n14_a_opencities_42 VBP;_Tn_ n14_a_opencities_41->n14_a_opencities_42 n14_a_opencities_44 NP-OB1 n14_a_opencities_41->n14_a_opencities_44 n14_a_opencities_42->n14_a_opencities_43 n14_a_opencities_45 NS n14_a_opencities_44->n14_a_opencities_45 n14_a_opencities_47 IP-PPL n14_a_opencities_44->n14_a_opencities_47 n14_a_opencities_45->n14_a_opencities_46 n14_a_opencities_48 VAG;_Tn_ n14_a_opencities_47->n14_a_opencities_48 n14_a_opencities_50 NP-OB1 n14_a_opencities_47->n14_a_opencities_50 n14_a_opencities_48->n14_a_opencities_49 n14_a_opencities_51 ADJP n14_a_opencities_50->n14_a_opencities_51 n14_a_opencities_54 NS n14_a_opencities_50->n14_a_opencities_54 n14_a_opencities_56 PP n14_a_opencities_50->n14_a_opencities_56 n14_a_opencities_52 ADJ n14_a_opencities_51->n14_a_opencities_52 n14_a_opencities_52->n14_a_opencities_53 n14_a_opencities_54->n14_a_opencities_55 n14_a_opencities_57 P-ROLE n14_a_opencities_56->n14_a_opencities_57 n14_a_opencities_59 NP n14_a_opencities_56->n14_a_opencities_59 n14_a_opencities_57->n14_a_opencities_58 n14_a_opencities_60 ADVP n14_a_opencities_59->n14_a_opencities_60 n14_a_opencities_63 D n14_a_opencities_59->n14_a_opencities_63 n14_a_opencities_65 N n14_a_opencities_59->n14_a_opencities_65 n14_a_opencities_61 ADV n14_a_opencities_60->n14_a_opencities_61 n14_a_opencities_61->n14_a_opencities_62 n14_a_opencities_63->n14_a_opencities_64 n14_a_opencities_65->n14_a_opencities_66 n14_a_opencities_67->n14_a_opencities_68
( (IP-MAT (NP-SBJ (PRO I;{I}))
          (VBP;_Tf_ think;{think})
          (CP-THT-OB1 (IP-SUB (NP-SBJ (D;_nphd_ that;{that}))
                              (BEP;_La_ <apos>s;{be})
                              (ADJP-PRD (ADJ terrific;{terrific}))))
          (PP-SCON (P-CONN when;{when})
                   (IP-ADV (NP-SBJ (PRO I;{I}))
                           (ILYR (ILYR (VBP;_phr_Vp_ walk;{walk[out]})
                                       (RP out;{out})
                                       (PP-NIM (P-ROLE in;{in})
                                               (NP (D the;{the})
                                                   (N street;{street}))))
                                 (CONJP (CONJ and;{and})
                                        (ILYR (VBP;_Tn_ see;{see})
                                              (NP-OB1 (NS people;{people})
                                                      (IP-PPL (VAG;_Tn_ wearing;{wear})
                                                              (NP-OB1 (ADJP (ADJ colourful;{colourful}))
                                                                      (NS clothes;{clothes})
                                                                      (PP (P-ROLE from;{from})
                                                                          (NP (ADVP (ADV all_round;{all_round}))
                                                                              (D the;{the})
                                                                              (N world;{world})))))))))))
          (PUNC .))
  (ID 14_a_opencities))