8_a_opencities
I think it's great that all these kids go through school together learning about and accepting each other's culture and differences.
( (IP-MAT (NP-SBJ (PRO I;{I}))
(VBP;_Tf_ think;{think})
(CP-THT-OB1 (IP-SUB (NP-SBJ (PRO;_provisional_ it;{it}))
(BEP;_La_ <apos>s;{be})
(ADJP-PRD (ADJ great;{great}))
(CP-THT-NSBJ (IP-SUB (C that;{that})
(NP-SBJ (Q;_nphd_ all;{all})
(NLYR (D these;{these})
(NS kids;{kid})))
(VBP;_Ipr_ go;{go[through]})
(PP-CLR (P-ROLE through;{through})
(NP (N school;{school})))
(ADVP-NIM (ADV together;{together}))
(PP-SCON (IP-PPL2 (ILYR (ILYR (VAG;_Ipr_ learning;{learn[about]})
(PP-CLR (P-ROLE about;{about})
(NP *ICH*-136)))
(CONJP (CONJ and;{and})
(ILYR (VAG;_Tn_ accepting;{accept})
(NP-OB1 *ICH*-136))))
(NP-RNR-136 (NP-GEN (PNX each_other;{each_other})
(GENM <apos>s))
(NLYR (NLYR (N culture;{culture}))
(CONJP (CONJ and;{and})
(NLYR (NS differences;{difference})))))))))))
(PUNC .))
(ID 8_a_opencities))
arc(r_0008_0002__think,r_0008_0001__I,arg0).
arc(r_0008_0002__think,r_0008_0004___apos_s,arg1).
arc(r_0008_0004___apos_s,r_0008_0005__great,prd).
arc(r_0008_0004___apos_s,r_0008_0007__all__quant,arg0).
arc(r_0008_0007__all__quant,z_0008_5007,restriction).
arc(r_0008_0007__all__quant,z_0008_5009,scope).
arc(r_0008_0010__go_r_0008_0011__through,r_0008_0012__school,arg1).
arc(r_0008_0010__go_r_0008_0011__through,r_0008_0013__together,nim).
arc(r_0008_0010__go_r_0008_0011__through,z_0008_5007,arg0).
arc(r_0008_0014__learning_r_0008_0015__about,r_0008_0021__and,arg1).
arc(r_0008_0014__learning_r_0008_0015__about,z_0008_5007,arg0).
arc(r_0008_0016__and,r_0008_0014__learning_r_0008_0015__about,conj1).
arc(r_0008_0016__and,r_0008_0017__accepting,conj2).
arc(r_0008_0017__accepting,r_0008_0021__and,arg1).
arc(r_0008_0017__accepting,z_0008_5007,arg0).
arc(r_0008_0021__and,r_0008_0018__each_other,gen).
arc(r_0008_0021__and,r_0008_0020__culture,conj1).
arc(r_0008_0021__and,r_0008_0022__differences,conj2).
arc(z_0008_5007,r_0008_0008__these_r_0008_0009__kids,nim).
arc(z_0008_5009,r_0008_0010__go_r_0008_0011__through,scope).
arc(z_0008_5009,r_0008_0016__and,restriction).
fof(formula,axiom,
? [R_0008_0001__I,R_0008_0005__GREAT,R_0008_0004___APOS_S,R_0008_0002__THINK] :
( r_0008_0001__I(R_0008_0001__I)
& r_0008_0005__great(R_0008_0005__GREAT)
& r_0008_0002__think(R_0008_0002__THINK)
& has_arg1(R_0008_0002__THINK,R_0008_0004___APOS_S)
& r_0008_0004___apos_s(R_0008_0004___APOS_S)
& ! [Z_0008_5007,R_0008_0008__THESE_R_0008_0009__KIDS] :
( ( r_0008_0008__these_r_0008_0009__kids(R_0008_0008__THESE_R_0008_0009__KIDS)
& z_0008_5007(Z_0008_5007)
& has_nim(Z_0008_5007,R_0008_0008__THESE_R_0008_0009__KIDS) )
=> ? [R_0008_0012__SCHOOL,R_0008_0013__TOGETHER,R_0008_0010__GO_R_0008_0011__THROUGH,R_0008_0018__EACH_OTHER,R_0008_0020__CULTURE,R_0008_0022__DIFFERENCES,R_0008_0021__AND,R_0008_0014__LEARNING_R_0008_0015__ABOUT,R_0008_0017__ACCEPTING,R_0008_0016__AND,Z_0008_5009] :
( r_0008_0012__school(R_0008_0012__SCHOOL)
& r_0008_0013__together(R_0008_0013__TOGETHER)
& r_0008_0018__each_other(R_0008_0018__EACH_OTHER)
& r_0008_0020__culture(R_0008_0020__CULTURE)
& r_0008_0022__differences(R_0008_0022__DIFFERENCES)
& z_0008_5009(Z_0008_5009)
& has_conj1(Z_0008_5009,R_0008_0016__AND)
& r_0008_0016__and(R_0008_0016__AND)
& has_conj2(R_0008_0016__AND,R_0008_0017__ACCEPTING)
& r_0008_0017__accepting(R_0008_0017__ACCEPTING)
& has_arg0(R_0008_0017__ACCEPTING,Z_0008_5007)
& has_arg1(R_0008_0017__ACCEPTING,R_0008_0021__AND)
& r_0008_0021__and(R_0008_0021__AND)
& has_conj2(R_0008_0021__AND,R_0008_0022__DIFFERENCES)
& has_conj1(R_0008_0021__AND,R_0008_0020__CULTURE)
& has_gen(R_0008_0021__AND,R_0008_0018__EACH_OTHER)
& has_conj1(R_0008_0016__AND,R_0008_0014__LEARNING_R_0008_0015__ABOUT)
& r_0008_0014__learning_r_0008_0015__about(R_0008_0014__LEARNING_R_0008_0015__ABOUT)
& has_arg0(R_0008_0014__LEARNING_R_0008_0015__ABOUT,Z_0008_5007)
& has_arg1(R_0008_0014__LEARNING_R_0008_0015__ABOUT,R_0008_0021__AND)
& has_conj2(Z_0008_5009,R_0008_0010__GO_R_0008_0011__THROUGH)
& r_0008_0010__go_r_0008_0011__through(R_0008_0010__GO_R_0008_0011__THROUGH)
& has_arg0(R_0008_0010__GO_R_0008_0011__THROUGH,Z_0008_5007)
& has_nim(R_0008_0010__GO_R_0008_0011__THROUGH,R_0008_0013__TOGETHER)
& has_arg1(R_0008_0010__GO_R_0008_0011__THROUGH,R_0008_0012__SCHOOL) ) )
& has_prd(R_0008_0004___APOS_S,R_0008_0005__GREAT)
& has_arg0(R_0008_0002__THINK,R_0008_0001__I) ) ).