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.
( (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))
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__nim).
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,inv_arg0).
arc(r_0014_0016__wearing,r_0014_0018__clothes,arg1).
arc(r_0014_0018__clothes,r_0014_0017__colourful,attrib).
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,qual).
fof(formula,axiom,
! [R_0014_0013__AND,R_0014_0001__I,R_0014_0011__THE_R_0014_0012__STREET,R_0014_0008__WALK_R_0014_0009__OUT,R_0014_0017__COLOURFUL,R_0014_0020__ALL_ROUND,R_0014_0021__THE_R_0014_0022__WORLD,R_0014_0018__CLOTHES,R_0014_0016__WEARING,R_0014_0015__PEOPLE,R_0014_0014__SEE] :
( ( r_0014_0001__I(R_0014_0001__I)
& r_0014_0011__the_r_0014_0012__street(R_0014_0011__THE_R_0014_0012__STREET)
& r_0014_0017__colourful(R_0014_0017__COLOURFUL)
& r_0014_0020__all_round(R_0014_0020__ALL_ROUND)
& r_0014_0013__and(R_0014_0013__AND)
& has_conj2(R_0014_0013__AND,R_0014_0014__SEE)
& r_0014_0014__see(R_0014_0014__SEE)
& has_arg1(R_0014_0014__SEE,R_0014_0015__PEOPLE)
& r_0014_0015__people(R_0014_0015__PEOPLE)
& has_inv_arg0(R_0014_0015__PEOPLE,R_0014_0016__WEARING)
& r_0014_0016__wearing(R_0014_0016__WEARING)
& has_arg1(R_0014_0016__WEARING,R_0014_0018__CLOTHES)
& r_0014_0018__clothes(R_0014_0018__CLOTHES)
& has_r_0014_0019__from(R_0014_0018__CLOTHES,R_0014_0021__THE_R_0014_0022__WORLD)
& r_0014_0021__the_r_0014_0022__world(R_0014_0021__THE_R_0014_0022__WORLD)
& has_qual(R_0014_0021__THE_R_0014_0022__WORLD,R_0014_0020__ALL_ROUND)
& has_attrib(R_0014_0018__CLOTHES,R_0014_0017__COLOURFUL)
& has_arg0(R_0014_0014__SEE,R_0014_0001__I)
& has_conj1(R_0014_0013__AND,R_0014_0008__WALK_R_0014_0009__OUT)
& r_0014_0008__walk_r_0014_0009__out(R_0014_0008__WALK_R_0014_0009__OUT)
& has_r_0014_0010__in__nim(R_0014_0008__WALK_R_0014_0009__OUT,R_0014_0011__THE_R_0014_0012__STREET)
& has_arg0(R_0014_0008__WALK_R_0014_0009__OUT,R_0014_0001__I) )
=> ? [R_0014_0003__THAT,R_0014_0005__TERRIFIC,R_0014_0004___APOS_S,R_0014_0002__THINK] :
( r_0014_0003__that(R_0014_0003__THAT)
& r_0014_0005__terrific(R_0014_0005__TERRIFIC)
& r_0014_0002__think(R_0014_0002__THINK)
& has_arg1(R_0014_0002__THINK,R_0014_0004___APOS_S)
& r_0014_0004___apos_s(R_0014_0004___APOS_S)
& has_prd(R_0014_0004___APOS_S,R_0014_0005__TERRIFIC)
& has_arg0(R_0014_0004___APOS_S,R_0014_0003__THAT)
& has_arg0(R_0014_0002__THINK,R_0014_0001__I) ) ) ).