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.
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).
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) ) ).
( (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))