( (IP-MAT (NP-SBJ (PRO I;{I}))
          (ADVP-NIM (ADV also;{also}))
          (VBP;_Tf_ like;{like})
          (CP-THT-OB1 (IP-SUB (C that;{that})
                              (NP-SBJ (D the;{the})
                                      (N school;{school})
                                      (IP-REL (C that;{that})
                                              (NP-SBJ;{KIDS} (NP-GEN (PRO;_genm_ my;{my}))
                                                             (NS kids;{kid}))
                                              (VBP;_Ipr_ go;{go[to]})
                                              (PP-CLR (P-ROLE to;{to})
                                                      (NP *T*))))
                              (HVP;_Tn_ has;{have})
                              (NP-OB1 (NS kids;{kid})
                                      (PP (P-ROLE from;{from})
                                          (NP (D a;{a})
                                              (ADJP (ADJ huge;{huge}))
                                              (N range;{range})
                                              (PP (P-ROLE of;{of})
                                                  (NP (NLYR (NLYR (ADJP (ADJ different;{different}))
                                                                  (NS cultures;{culture}))
                                                            (CONJP (CONJ and;{and})
                                                                   (NLYR (ADJP (ADJ religious;{religious}))
                                                                         (NS backgrounds;{background})))))))))))
          (PUNC .))
  (ID 7_a_opencities))

arc(r_0007_0003__like,r_0007_0001__I,arg0).
arc(r_0007_0003__like,r_0007_0002__also,nim).
arc(r_0007_0003__like,r_0007_0012__has,arg1).
arc(r_0007_0009__kids,r_0007_0001__I,gen).
arc(r_0007_0010__go,r_0007_0005__the_r_0007_0006__school,r_0007_0011__to__inv_clr).
arc(r_0007_0010__go,r_0007_0009__kids,arg0).
arc(r_0007_0012__has,r_0007_0005__the_r_0007_0006__school,arg0).
arc(r_0007_0012__has,r_0007_0013__kids,arg1).
arc(r_0007_0013__kids,r_0007_0015__a_r_0007_0017__range,r_0007_0014__from).
arc(r_0007_0015__a_r_0007_0017__range,r_0007_0016__huge,attrib).
arc(r_0007_0015__a_r_0007_0017__range,r_0007_0021__and,r_0007_0018__of).
arc(r_0007_0020__cultures,r_0007_0019__different,attrib).
arc(r_0007_0021__and,r_0007_0020__cultures,conj1).
arc(r_0007_0021__and,r_0007_0023__backgrounds,conj2).
arc(r_0007_0023__backgrounds,r_0007_0022__religious,attrib).

fof(formula,axiom,
    ? [R_0007_0001__I,R_0007_0002__ALSO,R_0007_0009__KIDS,R_0007_0010__GO,R_0007_0005__THE_R_0007_0006__SCHOOL,R_0007_0016__HUGE,R_0007_0019__DIFFERENT,R_0007_0020__CULTURES,R_0007_0022__RELIGIOUS,R_0007_0023__BACKGROUNDS,R_0007_0021__AND,R_0007_0015__A_R_0007_0017__RANGE,R_0007_0013__KIDS,R_0007_0012__HAS,R_0007_0003__LIKE] :
      ( r_0007_0001__I(R_0007_0001__I)
      & r_0007_0002__also(R_0007_0002__ALSO)
      & r_0007_0016__huge(R_0007_0016__HUGE)
      & r_0007_0019__different(R_0007_0019__DIFFERENT)
      & r_0007_0022__religious(R_0007_0022__RELIGIOUS)
      & r_0007_0003__like(R_0007_0003__LIKE)
      & has_arg1(R_0007_0003__LIKE,R_0007_0012__HAS)
      & r_0007_0012__has(R_0007_0012__HAS)
      & has_arg1(R_0007_0012__HAS,R_0007_0013__KIDS)
      & r_0007_0013__kids(R_0007_0013__KIDS)
      & has_r_0007_0014__from(R_0007_0013__KIDS,R_0007_0015__A_R_0007_0017__RANGE)
      & r_0007_0015__a_r_0007_0017__range(R_0007_0015__A_R_0007_0017__RANGE)
      & has_r_0007_0018__of(R_0007_0015__A_R_0007_0017__RANGE,R_0007_0021__AND)
      & r_0007_0021__and(R_0007_0021__AND)
      & has_conj2(R_0007_0021__AND,R_0007_0023__BACKGROUNDS)
      & r_0007_0023__backgrounds(R_0007_0023__BACKGROUNDS)
      & has_attrib(R_0007_0023__BACKGROUNDS,R_0007_0022__RELIGIOUS)
      & has_conj1(R_0007_0021__AND,R_0007_0020__CULTURES)
      & r_0007_0020__cultures(R_0007_0020__CULTURES)
      & has_attrib(R_0007_0020__CULTURES,R_0007_0019__DIFFERENT)
      & has_attrib(R_0007_0015__A_R_0007_0017__RANGE,R_0007_0016__HUGE)
      & has_arg0(R_0007_0012__HAS,R_0007_0005__THE_R_0007_0006__SCHOOL)
      & r_0007_0005__the_r_0007_0006__school(R_0007_0005__THE_R_0007_0006__SCHOOL)
      & has_r_0007_0011__to__inv_clr(R_0007_0005__THE_R_0007_0006__SCHOOL,R_0007_0010__GO)
      & r_0007_0010__go(R_0007_0010__GO)
      & has_arg0(R_0007_0010__GO,R_0007_0009__KIDS)
      & r_0007_0009__kids(R_0007_0009__KIDS)
      & has_gen(R_0007_0009__KIDS,R_0007_0001__I)
      & has_nim(R_0007_0003__LIKE,R_0007_0002__ALSO)
      & has_arg0(R_0007_0003__LIKE,R_0007_0001__I) ) ).