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.
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_0006__that_r_0008_0010__go, r_0008_0008__these_r_0008_0009__kids, arg0).
arc(r_0008_0006__that_r_0008_0010__go, r_0008_0012__school, r_0008_0011__through_clr33).
arc(r_0008_0006__that_r_0008_0010__go, r_0008_0013__together, nim36).
arc(r_0008_0007__all_quant, r_0008_0008__these_r_0008_0009__kids, restriction).
arc(r_0008_0007__all_quant, z_000_8_a_opencities_39, scope).
arc(r_0008_0014__learning, r_0008_0008__these_r_0008_0009__kids, arg0).
arc(r_0008_0014__learning, r_0008_0021__and, r_0008_0015__about_clr48).
arc(r_0008_0016__and, r_0008_0014__learning, conj1).
arc(r_0008_0016__and, r_0008_0017__accepting, conj2).
arc(r_0008_0017__accepting, r_0008_0008__these_r_0008_0009__kids, arg0).
arc(r_0008_0017__accepting, r_0008_0021__and, arg1).
arc(r_0008_0021__and, r_0008_0012__school, gen).
arc(r_0008_0021__and, r_0008_0020__culture, conj1).
arc(r_0008_0021__and, r_0008_0022__differences, conj2).
arc(z_000_8_a_opencities_39, r_0008_0006__that_r_0008_0010__go, scope).
arc(z_000_8_a_opencities_39, r_0008_0016__and, restriction).
fof(formula,axiom,
? [R_8_2_THINK,R_8_1_I,R_8_4__APOS_S,R_8_5_GREAT] :
( i(R_8_1_I)
& great(R_8_5_GREAT)
& think(R_8_2_THINK,R_8_1_I,R_8_4__APOS_S)
& ! [R_8_8_THESE_KIDS] :
( these_kids(R_8_8_THESE_KIDS)
=> ? [Z_8_A_OPENCITIES_39,R_8_16_AND,R_8_14_LEARNING,R_8_17_ACCEPTING,R_8_21_AND,R_8_20_CULTURE,R_8_22_DIFFERENCES,R_8_6_THAT_GO,R_8_13_TOGETHER,R_8_12_SCHOOL] :
( culture(R_8_20_CULTURE)
& differences(R_8_22_DIFFERENCES)
& together(R_8_13_TOGETHER)
& school(R_8_12_SCHOOL)
& z_8_a_opencities_39(Z_8_A_OPENCITIES_39)
& conj1(Z_8_A_OPENCITIES_39,R_8_16_AND)
& and(R_8_16_AND)
& conj1(R_8_16_AND,R_8_14_LEARNING)
& learning(R_8_14_LEARNING,R_8_8_THESE_KIDS)
& about_clr48(R_8_14_LEARNING,R_8_21_AND)
& and(R_8_21_AND)
& conj1(R_8_21_AND,R_8_20_CULTURE)
& conj2(R_8_21_AND,R_8_22_DIFFERENCES)
& gen(R_8_21_AND,R_8_12_SCHOOL)
& conj2(R_8_16_AND,R_8_17_ACCEPTING)
& accepting(R_8_17_ACCEPTING,R_8_8_THESE_KIDS,R_8_21_AND)
& conj2(Z_8_A_OPENCITIES_39,R_8_6_THAT_GO)
& that_go(R_8_6_THAT_GO,R_8_8_THESE_KIDS)
& nim36(R_8_6_THAT_GO,R_8_13_TOGETHER)
& through_clr33(R_8_6_THAT_GO,R_8_12_SCHOOL) ) )
& arg0(ARG0)
& _apos_s(R_8_4__APOS_S)
& prd(R_8_4__APOS_S,R_8_5_GREAT) ) ).
( (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})
(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))