Context                Previous, Next                Top


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.

%3 r_0008_0002__think think r_0008_0001__I I r_0008_0002__think->r_0008_0001__I [arg0] r_0008_0004___apos_s 's r_0008_0002__think->r_0008_0004___apos_s [arg1] r_0008_0005__great great r_0008_0004___apos_s->r_0008_0005__great [prd] r_0008_0007__all_quant all [quant] r_0008_0004___apos_s->r_0008_0007__all_quant [arg0] r_0008_0008__these_r_0008_0009__kids these kids r_0008_0007__all_quant->r_0008_0008__these_r_0008_0009__kids [restriction] z_000_8_a_opencities_39 r_0008_0007__all_quant->z_000_8_a_opencities_39 [scope] r_0008_0006__that_r_0008_0010__go that go r_0008_0006__that_r_0008_0010__go->r_0008_0008__these_r_0008_0009__kids [arg0] r_0008_0012__school school r_0008_0006__that_r_0008_0010__go->r_0008_0012__school through [clr] r_0008_0013__together together r_0008_0006__that_r_0008_0010__go->r_0008_0013__together [nim] z_000_8_a_opencities_39->r_0008_0006__that_r_0008_0010__go [scope] r_0008_0016__and and z_000_8_a_opencities_39->r_0008_0016__and [restriction] r_0008_0014__learning learning r_0008_0014__learning->r_0008_0008__these_r_0008_0009__kids [arg0] r_0008_0021__and and r_0008_0014__learning->r_0008_0021__and about [clr] r_0008_0021__and->r_0008_0012__school [gen] r_0008_0020__culture culture r_0008_0021__and->r_0008_0020__culture [conj1] r_0008_0022__differences differences r_0008_0021__and->r_0008_0022__differences [conj2] r_0008_0016__and->r_0008_0014__learning [conj1] r_0008_0017__accepting accepting r_0008_0016__and->r_0008_0017__accepting [conj2] r_0008_0017__accepting->r_0008_0008__these_r_0008_0009__kids [arg0] r_0008_0017__accepting->r_0008_0021__and [arg1] 
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).


%3 r_0008_0002__think think r_0008_0001__I I r_0008_0002__think->r_0008_0001__I [arg0] r_0008_0004___apos_s 's r_0008_0002__think->r_0008_0004___apos_s [arg1] r_0008_0005__great great r_0008_0004___apos_s->r_0008_0005__great [prd] r_0008_0007__all_quant all [quant] r_0008_0004___apos_s->r_0008_0007__all_quant [arg0] r_0008_0008__these_r_0008_0009__kids these kids r_0008_0007__all_quant->r_0008_0008__these_r_0008_0009__kids [restriction] z_000_8_a_opencities_39 r_0008_0007__all_quant->z_000_8_a_opencities_39 [scope] r_0008_0006__that_r_0008_0010__go that go r_0008_0006__that_r_0008_0010__go->r_0008_0008__these_r_0008_0009__kids [arg0] r_0008_0012__school school r_0008_0006__that_r_0008_0010__go->r_0008_0012__school through [clr] r_0008_0013__together together r_0008_0006__that_r_0008_0010__go->r_0008_0013__together [nim] z_000_8_a_opencities_39->r_0008_0006__that_r_0008_0010__go [conj2] r_0008_0016__and and z_000_8_a_opencities_39->r_0008_0016__and [conj1] r_0008_0014__learning learning r_0008_0014__learning->r_0008_0008__these_r_0008_0009__kids [arg0] r_0008_0021__and and r_0008_0014__learning->r_0008_0021__and about [clr] r_0008_0021__and->r_0008_0012__school [gen] r_0008_0020__culture culture r_0008_0021__and->r_0008_0020__culture [conj1] r_0008_0022__differences differences r_0008_0021__and->r_0008_0022__differences [conj2] r_0008_0016__and->r_0008_0014__learning [conj1] r_0008_0017__accepting accepting r_0008_0016__and->r_0008_0017__accepting [conj2] r_0008_0017__accepting->r_0008_0008__these_r_0008_0009__kids [arg0] r_0008_0017__accepting->r_0008_0021__and [arg1] 
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) ) ).


n8_a_opencities n8_a_opencities_4 I n8_a_opencities_6 think n8_a_opencities_11 it n8_a_opencities_13 's n8_a_opencities_16 great n8_a_opencities_20 that n8_a_opencities_23 all n8_a_opencities_25 these n8_a_opencities_27 kids n8_a_opencities_29 go n8_a_opencities_32 through n8_a_opencities_35 school n8_a_opencities_38 together n8_a_opencities_44 learning n8_a_opencities_47 about n8_a_opencities_49 *ICH*-136 n8_a_opencities_52 and n8_a_opencities_55 accepting n8_a_opencities_57 *ICH*-136 n8_a_opencities_61 each_other n8_a_opencities_63 's n8_a_opencities_67 culture n8_a_opencities_70 and n8_a_opencities_73 differences n8_a_opencities_75 . n8_a_opencities_1 IP-MAT n8_a_opencities_2 NP-SBJ n8_a_opencities_1->n8_a_opencities_2 n8_a_opencities_5 VBP;_Tf_ n8_a_opencities_1->n8_a_opencities_5 n8_a_opencities_7 CP-THT-OB1 n8_a_opencities_1->n8_a_opencities_7 n8_a_opencities_74 PUNC n8_a_opencities_1->n8_a_opencities_74 n8_a_opencities_3 PRO n8_a_opencities_2->n8_a_opencities_3 n8_a_opencities_3->n8_a_opencities_4 n8_a_opencities_5->n8_a_opencities_6 n8_a_opencities_8 IP-SUB n8_a_opencities_7->n8_a_opencities_8 n8_a_opencities_9 NP-SBJ n8_a_opencities_8->n8_a_opencities_9 n8_a_opencities_12 BEP;_La_ n8_a_opencities_8->n8_a_opencities_12 n8_a_opencities_14 ADJP-PRD n8_a_opencities_8->n8_a_opencities_14 n8_a_opencities_17 CP-THT-NSBJ n8_a_opencities_8->n8_a_opencities_17 n8_a_opencities_10 PRO;_provisional_ n8_a_opencities_9->n8_a_opencities_10 n8_a_opencities_10->n8_a_opencities_11 n8_a_opencities_12->n8_a_opencities_13 n8_a_opencities_15 ADJ n8_a_opencities_14->n8_a_opencities_15 n8_a_opencities_15->n8_a_opencities_16 n8_a_opencities_18 IP-SUB n8_a_opencities_17->n8_a_opencities_18 n8_a_opencities_19 C n8_a_opencities_18->n8_a_opencities_19 n8_a_opencities_21 NP-SBJ n8_a_opencities_18->n8_a_opencities_21 n8_a_opencities_28 VBP;_Ipr_ n8_a_opencities_18->n8_a_opencities_28 n8_a_opencities_30 PP-CLR n8_a_opencities_18->n8_a_opencities_30 n8_a_opencities_36 ADVP-NIM n8_a_opencities_18->n8_a_opencities_36 n8_a_opencities_39 PP-SCON n8_a_opencities_18->n8_a_opencities_39 n8_a_opencities_19->n8_a_opencities_20 n8_a_opencities_22 Q;_nphd_ n8_a_opencities_21->n8_a_opencities_22 n8_a_opencities_24 D n8_a_opencities_21->n8_a_opencities_24 n8_a_opencities_26 NS n8_a_opencities_21->n8_a_opencities_26 n8_a_opencities_22->n8_a_opencities_23 n8_a_opencities_24->n8_a_opencities_25 n8_a_opencities_26->n8_a_opencities_27 n8_a_opencities_28->n8_a_opencities_29 n8_a_opencities_31 P-ROLE n8_a_opencities_30->n8_a_opencities_31 n8_a_opencities_33 NP n8_a_opencities_30->n8_a_opencities_33 n8_a_opencities_31->n8_a_opencities_32 n8_a_opencities_34 N n8_a_opencities_33->n8_a_opencities_34 n8_a_opencities_34->n8_a_opencities_35 n8_a_opencities_37 ADV n8_a_opencities_36->n8_a_opencities_37 n8_a_opencities_37->n8_a_opencities_38 n8_a_opencities_40 IP-PPL2 n8_a_opencities_39->n8_a_opencities_40 n8_a_opencities_41 ILYR n8_a_opencities_40->n8_a_opencities_41 n8_a_opencities_58 NP-RNR-136 n8_a_opencities_40->n8_a_opencities_58 n8_a_opencities_42 ILYR n8_a_opencities_41->n8_a_opencities_42 n8_a_opencities_50 CONJP n8_a_opencities_41->n8_a_opencities_50 n8_a_opencities_43 VAG;_Ipr_ n8_a_opencities_42->n8_a_opencities_43 n8_a_opencities_45 PP-CLR n8_a_opencities_42->n8_a_opencities_45 n8_a_opencities_43->n8_a_opencities_44 n8_a_opencities_46 P-ROLE n8_a_opencities_45->n8_a_opencities_46 n8_a_opencities_48 NP n8_a_opencities_45->n8_a_opencities_48 n8_a_opencities_46->n8_a_opencities_47 n8_a_opencities_48->n8_a_opencities_49 n8_a_opencities_51 CONJ n8_a_opencities_50->n8_a_opencities_51 n8_a_opencities_53 ILYR n8_a_opencities_50->n8_a_opencities_53 n8_a_opencities_51->n8_a_opencities_52 n8_a_opencities_54 VAG;_Tn_ n8_a_opencities_53->n8_a_opencities_54 n8_a_opencities_56 NP-OB1 n8_a_opencities_53->n8_a_opencities_56 n8_a_opencities_54->n8_a_opencities_55 n8_a_opencities_56->n8_a_opencities_57 n8_a_opencities_59 NP-GEN n8_a_opencities_58->n8_a_opencities_59 n8_a_opencities_64 NLYR n8_a_opencities_58->n8_a_opencities_64 n8_a_opencities_60 PNX n8_a_opencities_59->n8_a_opencities_60 n8_a_opencities_62 GENM n8_a_opencities_59->n8_a_opencities_62 n8_a_opencities_60->n8_a_opencities_61 n8_a_opencities_62->n8_a_opencities_63 n8_a_opencities_65 NLYR n8_a_opencities_64->n8_a_opencities_65 n8_a_opencities_68 CONJP n8_a_opencities_64->n8_a_opencities_68 n8_a_opencities_66 N n8_a_opencities_65->n8_a_opencities_66 n8_a_opencities_66->n8_a_opencities_67 n8_a_opencities_69 CONJ n8_a_opencities_68->n8_a_opencities_69 n8_a_opencities_71 NLYR n8_a_opencities_68->n8_a_opencities_71 n8_a_opencities_69->n8_a_opencities_70 n8_a_opencities_72 NS n8_a_opencities_71->n8_a_opencities_72 n8_a_opencities_72->n8_a_opencities_73 n8_a_opencities_74->n8_a_opencities_75 
( (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))