arc(r_0006_0002__receive, r_0006_0001__We, arg0).
arc(r_0006_0002__receive, r_0006_0003__a_lot, arg1).
arc(r_0006_0003__a_lot, r_0006_0005__support, r_0006_0004__of).
arc(r_0006_0005__support, r_0006_0008__residents, r_0006_0006__from).
arc(r_0006_0008__residents, r_0006_0007__local, attrib22).
arc(r_0006_0010__and, r_0006_0002__receive, conj1).
arc(r_0006_0010__and, r_0006_0017__are, conj2).
arc(r_0006_0015__and, r_0006_0001__We, gen).
arc(r_0006_0015__and, r_0006_0012__students, conj1).
arc(r_0006_0015__and, r_0006_0014__faculty, conj2).
arc(r_0006_0015__and, r_0006_0016__staff, conj3).
arc(r_0006_0017__are, r_0006_0015__and, arg0).
arc(r_0006_0017__are, r_0006_0019__and, prd).
arc(r_0006_0019__and, r_0006_0018__grateful, conj1).
arc(r_0006_0019__and, r_0006_0020__happy, conj2).
arc(r_0006_0019__and, r_0006_0021__to_r_0006_0022__have, emb66).
arc(r_0006_0021__to_r_0006_0022__have, r_0006_0023__the_r_0006_0024__opportunity, arg1).
arc(r_0006_0021__to_r_0006_0022__have, z_000_6_a_hirodai_mission_66, arg0).
arc(r_0006_0023__the_r_0006_0024__opportunity, r_0006_0027__and, emb76).
arc(r_0006_0026__study, r_0006_0030__this_r_0006_0032__environment, r_0006_0029__in_nim92).
arc(r_0006_0026__study, z_000_6_a_hirodai_mission_76, arg0).
arc(r_0006_0027__and, r_0006_0026__study, conj1).
arc(r_0006_0027__and, r_0006_0028__work, conj2).
arc(r_0006_0028__work, r_0006_0030__this_r_0006_0032__environment, r_0006_0029__in_nim92).
arc(r_0006_0028__work, z_000_6_a_hirodai_mission_76, arg0).
arc(r_0006_0030__this_r_0006_0032__environment, r_0006_0031__ideal, attrib95).

fof(formula,axiom,
    ? [R_6_10_AND,R_6_2_RECEIVE,R_6_3_A_LOT,R_6_5_SUPPORT,R_6_8_RESIDENTS,R_6_7_LOCAL,R_6_17_ARE,R_6_15_AND,R_6_12_STUDENTS,R_6_14_FACULTY,R_6_16_STAFF,R_6_1_WE,R_6_19_AND,R_6_18_GRATEFUL,R_6_20_HAPPY,R_6_21_TO_HAVE,Z_6_A_HIRODAI_MISSION_66,R_6_23_THE_OPPORTUNITY,R_6_27_AND,R_6_26_STUDY,R_6_28_WORK,Z_6_A_HIRODAI_MISSION_76,R_6_30_THIS_ENVIRONMENT,R_6_31_IDEAL] :
      ( local(R_6_7_LOCAL)
      & students(R_6_12_STUDENTS)
      & faculty(R_6_14_FACULTY)
      & staff(R_6_16_STAFF)
      & we(R_6_1_WE)
      & grateful(R_6_18_GRATEFUL)
      & happy(R_6_20_HAPPY)
      & ideal(R_6_31_IDEAL)
      & and(R_6_10_AND)
      & conj1(R_6_10_AND,R_6_2_RECEIVE)
      & receive(R_6_2_RECEIVE,R_6_1_WE,R_6_3_A_LOT)
      & a_lot(R_6_3_A_LOT)
      & of(R_6_3_A_LOT,R_6_5_SUPPORT)
      & support(R_6_5_SUPPORT)
      & from(R_6_5_SUPPORT,R_6_8_RESIDENTS)
      & residents(R_6_8_RESIDENTS)
      & attrib22(R_6_8_RESIDENTS,R_6_7_LOCAL)
      & conj2(R_6_10_AND,R_6_17_ARE)
      & are(R_6_17_ARE,R_6_15_AND,R_6_19_AND)
      & and(R_6_15_AND)
      & conj1(R_6_15_AND,R_6_12_STUDENTS)
      & conj2(R_6_15_AND,R_6_14_FACULTY)
      & conj3(R_6_15_AND,R_6_16_STAFF)
      & gen(R_6_15_AND,R_6_1_WE)
      & and(R_6_19_AND)
      & conj1(R_6_19_AND,R_6_18_GRATEFUL)
      & conj2(R_6_19_AND,R_6_20_HAPPY)
      & emb66(R_6_19_AND,R_6_21_TO_HAVE)
      & to_have(R_6_21_TO_HAVE,Z_6_A_HIRODAI_MISSION_66,R_6_23_THE_OPPORTUNITY)
      & the_opportunity(R_6_23_THE_OPPORTUNITY)
      & emb76(R_6_23_THE_OPPORTUNITY,R_6_27_AND)
      & and(R_6_27_AND)
      & conj1(R_6_27_AND,R_6_26_STUDY)
      & study(R_6_26_STUDY,Z_6_A_HIRODAI_MISSION_76)
      & in_nim92(R_6_26_STUDY,R_6_30_THIS_ENVIRONMENT)
      & this_environment(R_6_30_THIS_ENVIRONMENT)
      & attrib95(R_6_30_THIS_ENVIRONMENT,R_6_31_IDEAL)
      & conj2(R_6_27_AND,R_6_28_WORK)
      & work(R_6_28_WORK,Z_6_A_HIRODAI_MISSION_76)
      & in_nim92(R_6_28_WORK,R_6_30_THIS_ENVIRONMENT) ) ).

( (IP-MAT (ILYR (ILYR (NP-SBJ (PRO We;{we}))
                      (VBP;_Tn_ receive;{receive})
                      (NP-OB1 (D;_nphd_ a_lot;{a_lot})
                              (PP (P-ROLE of;{of})
                                  (NP (N support;{support})
                                      (PP (P-ROLE from;{from})
                                          (NP (ADJP (ADJ local;{local}))
                                              (NS residents;{resident})))))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (NP-GEN (PRO;_genm_ our;{our}))
                                     (NLYR (NLYR (NS students;{student}))
                                           (PUNC ,)
                                           (CONJP (NLYR (N faculty;{faculty})))
                                           (CONJP (CONJ and;{and})
                                                  (NLYR (N staff;{staff})))))
                             (BEP;_La_ are;{be})
                             (ADJP-PRD (AJLYR (AJLYR (ADJ grateful;{grateful}))
                                              (CONJP (CONJ and;{and})
                                                     (AJLYR (ADJ happy;{happy}))))
                                       (IP-INF (TO to;{to})
                                               (HV;_Tn_ have;{have})
                                               (NP-OB1 (D the;{the})
                                                       (N opportunity;{opportunity})
                                                       (IP-INF (TO to;{to})
                                                               (ILYR (ILYR (VB;_I_ study;{study}))
                                                                     (CONJP (CONJ and;{and})
                                                                            (ILYR (VB;_I_ work;{work}))))
                                                               (PP-NIM (P-ROLE in;{in})
                                                                       (NP (D this;{this})
                                                                           (ADJP (ADJ ideal;{ideal}))
                                                                           (N environment;{environment}))))))))))
          (PUNC .))
  (ID 6_a_hirodai_mission))