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_0006__that_r_0008_0010__go that go r_0008_0008__these_r_0008_0009__kids these kids 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] r_0008_0007__all_quant all [quant] r_0008_0007__all_quant->r_0008_0008__these_r_0008_0009__kids [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 and 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] z_000_8_a_opencities_39 z_000_8_a_opencities_39->r_0008_0016__and [restriction] 
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_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_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_0016__and, restriction).


%3 
fof(formula,axiom,
    false ).


n8_a_opencities n8_a_opencities__1_1_1_1 I n8_a_opencities__1_2_1 think n8_a_opencities__1_3_1_1_1_1 it n8_a_opencities__1_3_1_2_1 's n8_a_opencities__1_3_1_3_1_1 great n8_a_opencities__1_3_1_4_1_1_1 that n8_a_opencities__1_3_1_4_1_2_1_1 all n8_a_opencities__1_3_1_4_1_2_2_1 these n8_a_opencities__1_3_1_4_1_2_3_1 kids n8_a_opencities__1_3_1_4_1_3_1 go n8_a_opencities__1_3_1_4_1_4_1_1 through n8_a_opencities__1_3_1_4_1_4_2_1_1 school n8_a_opencities__1_3_1_4_1_5_1_1 together n8_a_opencities__1_3_1_4_1_6_1_1_1_1_1 learning n8_a_opencities__1_3_1_4_1_6_1_1_1_2_1_1 about n8_a_opencities__1_3_1_4_1_6_1_1_1_2_2_1 *ICH*-136 n8_a_opencities__1_3_1_4_1_6_1_1_2_1_1 and n8_a_opencities__1_3_1_4_1_6_1_1_2_2_1_1 accepting n8_a_opencities__1_3_1_4_1_6_1_1_2_2_2_1 *ICH*-136 n8_a_opencities__1_3_1_4_1_6_1_2_1_1_1 each_other n8_a_opencities__1_3_1_4_1_6_1_2_1_2_1 's n8_a_opencities__1_3_1_4_1_6_1_2_2_1_1_1 culture n8_a_opencities__1_3_1_4_1_6_1_2_2_2_1_1 and n8_a_opencities__1_3_1_4_1_6_1_2_2_2_2_1_1 differences n8_a_opencities__1_4_1 . n8_a_opencities__1 IP-MAT n8_a_opencities__1_1 NP-SBJ n8_a_opencities__1->n8_a_opencities__1_1 n8_a_opencities__1_2 VBP;_Tf_ n8_a_opencities__1->n8_a_opencities__1_2 n8_a_opencities__1_3 CP-THT-OB1 n8_a_opencities__1->n8_a_opencities__1_3 n8_a_opencities__1_4 PUNC n8_a_opencities__1->n8_a_opencities__1_4 n8_a_opencities__1_1_1 PRO n8_a_opencities__1_1->n8_a_opencities__1_1_1 n8_a_opencities__1_1_1->n8_a_opencities__1_1_1_1 n8_a_opencities__1_2->n8_a_opencities__1_2_1 n8_a_opencities__1_3_1 IP-SUB n8_a_opencities__1_3->n8_a_opencities__1_3_1 n8_a_opencities__1_3_1_1 NP-SBJ n8_a_opencities__1_3_1->n8_a_opencities__1_3_1_1 n8_a_opencities__1_3_1_2 BEP;_La_ n8_a_opencities__1_3_1->n8_a_opencities__1_3_1_2 n8_a_opencities__1_3_1_3 ADJP-PRD n8_a_opencities__1_3_1->n8_a_opencities__1_3_1_3 n8_a_opencities__1_3_1_4 CP-THT-NSBJ n8_a_opencities__1_3_1->n8_a_opencities__1_3_1_4 n8_a_opencities__1_3_1_1_1 PRO;_provisional_ n8_a_opencities__1_3_1_1->n8_a_opencities__1_3_1_1_1 n8_a_opencities__1_3_1_1_1->n8_a_opencities__1_3_1_1_1_1 n8_a_opencities__1_3_1_2->n8_a_opencities__1_3_1_2_1 n8_a_opencities__1_3_1_3_1 ADJ n8_a_opencities__1_3_1_3->n8_a_opencities__1_3_1_3_1 n8_a_opencities__1_3_1_3_1->n8_a_opencities__1_3_1_3_1_1 n8_a_opencities__1_3_1_4_1 IP-SUB n8_a_opencities__1_3_1_4->n8_a_opencities__1_3_1_4_1 n8_a_opencities__1_3_1_4_1_1 C n8_a_opencities__1_3_1_4_1->n8_a_opencities__1_3_1_4_1_1 n8_a_opencities__1_3_1_4_1_2 NP-SBJ n8_a_opencities__1_3_1_4_1->n8_a_opencities__1_3_1_4_1_2 n8_a_opencities__1_3_1_4_1_3 VBP;_Ipr_ n8_a_opencities__1_3_1_4_1->n8_a_opencities__1_3_1_4_1_3 n8_a_opencities__1_3_1_4_1_4 PP-CLR n8_a_opencities__1_3_1_4_1->n8_a_opencities__1_3_1_4_1_4 n8_a_opencities__1_3_1_4_1_5 ADVP-NIM n8_a_opencities__1_3_1_4_1->n8_a_opencities__1_3_1_4_1_5 n8_a_opencities__1_3_1_4_1_6 PP-SCON n8_a_opencities__1_3_1_4_1->n8_a_opencities__1_3_1_4_1_6 n8_a_opencities__1_3_1_4_1_1->n8_a_opencities__1_3_1_4_1_1_1 n8_a_opencities__1_3_1_4_1_2_1 Q;_nphd_ n8_a_opencities__1_3_1_4_1_2->n8_a_opencities__1_3_1_4_1_2_1 n8_a_opencities__1_3_1_4_1_2_2 D n8_a_opencities__1_3_1_4_1_2->n8_a_opencities__1_3_1_4_1_2_2 n8_a_opencities__1_3_1_4_1_2_3 NS n8_a_opencities__1_3_1_4_1_2->n8_a_opencities__1_3_1_4_1_2_3 n8_a_opencities__1_3_1_4_1_2_1->n8_a_opencities__1_3_1_4_1_2_1_1 n8_a_opencities__1_3_1_4_1_2_2->n8_a_opencities__1_3_1_4_1_2_2_1 n8_a_opencities__1_3_1_4_1_2_3->n8_a_opencities__1_3_1_4_1_2_3_1 n8_a_opencities__1_3_1_4_1_3->n8_a_opencities__1_3_1_4_1_3_1 n8_a_opencities__1_3_1_4_1_4_1 P-ROLE n8_a_opencities__1_3_1_4_1_4->n8_a_opencities__1_3_1_4_1_4_1 n8_a_opencities__1_3_1_4_1_4_2 NP n8_a_opencities__1_3_1_4_1_4->n8_a_opencities__1_3_1_4_1_4_2 n8_a_opencities__1_3_1_4_1_4_1->n8_a_opencities__1_3_1_4_1_4_1_1 n8_a_opencities__1_3_1_4_1_4_2_1 N n8_a_opencities__1_3_1_4_1_4_2->n8_a_opencities__1_3_1_4_1_4_2_1 n8_a_opencities__1_3_1_4_1_4_2_1->n8_a_opencities__1_3_1_4_1_4_2_1_1 n8_a_opencities__1_3_1_4_1_5_1 ADV n8_a_opencities__1_3_1_4_1_5->n8_a_opencities__1_3_1_4_1_5_1 n8_a_opencities__1_3_1_4_1_5_1->n8_a_opencities__1_3_1_4_1_5_1_1 n8_a_opencities__1_3_1_4_1_6_1 IP-PPL2 n8_a_opencities__1_3_1_4_1_6->n8_a_opencities__1_3_1_4_1_6_1 n8_a_opencities__1_3_1_4_1_6_1_1 ILYR n8_a_opencities__1_3_1_4_1_6_1->n8_a_opencities__1_3_1_4_1_6_1_1 n8_a_opencities__1_3_1_4_1_6_1_2 NP-RNR-136 n8_a_opencities__1_3_1_4_1_6_1->n8_a_opencities__1_3_1_4_1_6_1_2 n8_a_opencities__1_3_1_4_1_6_1_1_1 ILYR n8_a_opencities__1_3_1_4_1_6_1_1->n8_a_opencities__1_3_1_4_1_6_1_1_1 n8_a_opencities__1_3_1_4_1_6_1_1_2 CONJP n8_a_opencities__1_3_1_4_1_6_1_1->n8_a_opencities__1_3_1_4_1_6_1_1_2 n8_a_opencities__1_3_1_4_1_6_1_1_1_1 VAG;_Ipr_ n8_a_opencities__1_3_1_4_1_6_1_1_1->n8_a_opencities__1_3_1_4_1_6_1_1_1_1 n8_a_opencities__1_3_1_4_1_6_1_1_1_2 PP-CLR n8_a_opencities__1_3_1_4_1_6_1_1_1->n8_a_opencities__1_3_1_4_1_6_1_1_1_2 n8_a_opencities__1_3_1_4_1_6_1_1_1_1->n8_a_opencities__1_3_1_4_1_6_1_1_1_1_1 n8_a_opencities__1_3_1_4_1_6_1_1_1_2_1 P-ROLE n8_a_opencities__1_3_1_4_1_6_1_1_1_2->n8_a_opencities__1_3_1_4_1_6_1_1_1_2_1 n8_a_opencities__1_3_1_4_1_6_1_1_1_2_2 NP n8_a_opencities__1_3_1_4_1_6_1_1_1_2->n8_a_opencities__1_3_1_4_1_6_1_1_1_2_2 n8_a_opencities__1_3_1_4_1_6_1_1_1_2_1->n8_a_opencities__1_3_1_4_1_6_1_1_1_2_1_1 n8_a_opencities__1_3_1_4_1_6_1_1_1_2_2->n8_a_opencities__1_3_1_4_1_6_1_1_1_2_2_1 n8_a_opencities__1_3_1_4_1_6_1_1_2_1 CONJ n8_a_opencities__1_3_1_4_1_6_1_1_2->n8_a_opencities__1_3_1_4_1_6_1_1_2_1 n8_a_opencities__1_3_1_4_1_6_1_1_2_2 ILYR n8_a_opencities__1_3_1_4_1_6_1_1_2->n8_a_opencities__1_3_1_4_1_6_1_1_2_2 n8_a_opencities__1_3_1_4_1_6_1_1_2_1->n8_a_opencities__1_3_1_4_1_6_1_1_2_1_1 n8_a_opencities__1_3_1_4_1_6_1_1_2_2_1 VAG;_Tn_ n8_a_opencities__1_3_1_4_1_6_1_1_2_2->n8_a_opencities__1_3_1_4_1_6_1_1_2_2_1 n8_a_opencities__1_3_1_4_1_6_1_1_2_2_2 NP-OB1 n8_a_opencities__1_3_1_4_1_6_1_1_2_2->n8_a_opencities__1_3_1_4_1_6_1_1_2_2_2 n8_a_opencities__1_3_1_4_1_6_1_1_2_2_1->n8_a_opencities__1_3_1_4_1_6_1_1_2_2_1_1 n8_a_opencities__1_3_1_4_1_6_1_1_2_2_2->n8_a_opencities__1_3_1_4_1_6_1_1_2_2_2_1 n8_a_opencities__1_3_1_4_1_6_1_2_1 NP-GEN n8_a_opencities__1_3_1_4_1_6_1_2->n8_a_opencities__1_3_1_4_1_6_1_2_1 n8_a_opencities__1_3_1_4_1_6_1_2_2 NLYR n8_a_opencities__1_3_1_4_1_6_1_2->n8_a_opencities__1_3_1_4_1_6_1_2_2 n8_a_opencities__1_3_1_4_1_6_1_2_1_1 PNX n8_a_opencities__1_3_1_4_1_6_1_2_1->n8_a_opencities__1_3_1_4_1_6_1_2_1_1 n8_a_opencities__1_3_1_4_1_6_1_2_1_2 GENM n8_a_opencities__1_3_1_4_1_6_1_2_1->n8_a_opencities__1_3_1_4_1_6_1_2_1_2 n8_a_opencities__1_3_1_4_1_6_1_2_1_1->n8_a_opencities__1_3_1_4_1_6_1_2_1_1_1 n8_a_opencities__1_3_1_4_1_6_1_2_1_2->n8_a_opencities__1_3_1_4_1_6_1_2_1_2_1 n8_a_opencities__1_3_1_4_1_6_1_2_2_1 NLYR n8_a_opencities__1_3_1_4_1_6_1_2_2->n8_a_opencities__1_3_1_4_1_6_1_2_2_1 n8_a_opencities__1_3_1_4_1_6_1_2_2_2 CONJP n8_a_opencities__1_3_1_4_1_6_1_2_2->n8_a_opencities__1_3_1_4_1_6_1_2_2_2 n8_a_opencities__1_3_1_4_1_6_1_2_2_1_1 N n8_a_opencities__1_3_1_4_1_6_1_2_2_1->n8_a_opencities__1_3_1_4_1_6_1_2_2_1_1 n8_a_opencities__1_3_1_4_1_6_1_2_2_1_1->n8_a_opencities__1_3_1_4_1_6_1_2_2_1_1_1 n8_a_opencities__1_3_1_4_1_6_1_2_2_2_1 CONJ n8_a_opencities__1_3_1_4_1_6_1_2_2_2->n8_a_opencities__1_3_1_4_1_6_1_2_2_2_1 n8_a_opencities__1_3_1_4_1_6_1_2_2_2_2 NLYR n8_a_opencities__1_3_1_4_1_6_1_2_2_2->n8_a_opencities__1_3_1_4_1_6_1_2_2_2_2 n8_a_opencities__1_3_1_4_1_6_1_2_2_2_1->n8_a_opencities__1_3_1_4_1_6_1_2_2_2_1_1 n8_a_opencities__1_3_1_4_1_6_1_2_2_2_2_1 NS n8_a_opencities__1_3_1_4_1_6_1_2_2_2_2->n8_a_opencities__1_3_1_4_1_6_1_2_2_2_2_1 n8_a_opencities__1_3_1_4_1_6_1_2_2_2_2_1->n8_a_opencities__1_3_1_4_1_6_1_2_2_2_2_1_1 n8_a_opencities__1_4->n8_a_opencities__1_4_1 
( (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))