TSPC 9_a_ninjal

9_a_ninjal_mission
In addition, public lectures and forums, seminars conducted outside the capital region, and events for schoolchildren have allowed us to communicate our accomplishments to the general public in a wide variety of different ways.

arc(r_0009_0005__lectures, r_0009_0004__public, attrib15).
arc(r_0009_0006__and, r_0009_0005__lectures, conj1).
arc(r_0009_0006__and, r_0009_0007__forums, conj2).
arc(r_0009_0010__conducted, r_0009_0009__seminars, arg1).
arc(r_0009_0010__conducted, r_0009_0012__the_r_0009_0014__region, r_0009_0011__outside_nim40).
arc(r_0009_0010__conducted, z_000_9_a_ninjal_mission_33, arg0).
arc(r_0009_0012__the_r_0009_0014__region, r_0009_0013__capital, attrib43).
arc(r_0009_0016__and, r_0009_0006__and, conj1).
arc(r_0009_0016__and, r_0009_0009__seminars, conj2).
arc(r_0009_0016__and, r_0009_0017__events, conj3).
arc(r_0009_0017__events, r_0009_0019__schoolchildren, r_0009_0018__for).
arc(r_0009_0020__have, r_0009_0002__addition, r_0009_0001__In_nim5).
arc(r_0009_0020__have, r_0009_0021__allowed, scope).
arc(r_0009_0021__allowed, r_0009_0016__and, arg0).
arc(r_0009_0021__allowed, r_0009_0023__to_r_0009_0024__communicate, arg1).
arc(r_0009_0023__to_r_0009_0024__communicate, r_0009_0022__us, arg0).
arc(r_0009_0023__to_r_0009_0024__communicate, r_0009_0026__accomplishments, arg1).
arc(r_0009_0023__to_r_0009_0024__communicate, r_0009_0028__the_r_0009_0030__public, r_0009_0027__to_clr84).
arc(r_0009_0023__to_r_0009_0024__communicate, r_0009_0032__a_r_0009_0034__variety, r_0009_0031__in_nim95).
arc(r_0009_0026__accomplishments, r_0009_0022__us, gen).
arc(r_0009_0028__the_r_0009_0030__public, r_0009_0029__general, attrib87).
arc(r_0009_0032__a_r_0009_0034__variety, r_0009_0033__wide, attrib98).
arc(r_0009_0032__a_r_0009_0034__variety, r_0009_0037__ways, r_0009_0035__of).
arc(r_0009_0037__ways, r_0009_0036__different, attrib107).

fof(formula,axiom,
    ? [R_0009_0009__SEMINARS,R_0009_0013__CAPITAL,R_0009_0012__THE_R_0009_0014__REGION,Z_000_9_A_NINJAL_MISSION_33,R_0009_0010__CONDUCTED,R_0009_0002__ADDITION,R_0009_0004__PUBLIC,R_0009_0005__LECTURES,R_0009_0007__FORUMS,R_0009_0006__AND,R_0009_0019__SCHOOLCHILDREN,R_0009_0017__EVENTS,R_0009_0016__AND,R_0009_0022__US,R_0009_0026__ACCOMPLISHMENTS,R_0009_0029__GENERAL,R_0009_0028__THE_R_0009_0030__PUBLIC,R_0009_0033__WIDE,R_0009_0036__DIFFERENT,R_0009_0037__WAYS,R_0009_0032__A_R_0009_0034__VARIETY,R_0009_0023__TO_R_0009_0024__COMMUNICATE,R_0009_0020__HAVE_R_0009_0021__ALLOWED] :
      ( r_0009_0002__addition(R_0009_0002__ADDITION)
      & r_0009_0004__public(R_0009_0004__PUBLIC)
      & r_0009_0007__forums(R_0009_0007__FORUMS)
      & r_0009_0009__seminars(R_0009_0009__SEMINARS)
      & r_0009_0013__capital(R_0009_0013__CAPITAL)
      & r_0009_0019__schoolchildren(R_0009_0019__SCHOOLCHILDREN)
      & r_0009_0022__us(R_0009_0022__US)
      & r_0009_0029__general(R_0009_0029__GENERAL)
      & r_0009_0033__wide(R_0009_0033__WIDE)
      & r_0009_0036__different(R_0009_0036__DIFFERENT)
      & z_000_9_a_ninjal_mission_33(Z_000_9_A_NINJAL_MISSION_33)
      & r_0009_0020__have_r_0009_0021__allowed(R_0009_0020__HAVE_R_0009_0021__ALLOWED)
      & has_arg1(R_0009_0020__HAVE_R_0009_0021__ALLOWED,R_0009_0023__TO_R_0009_0024__COMMUNICATE)
      & r_0009_0023__to_r_0009_0024__communicate(R_0009_0023__TO_R_0009_0024__COMMUNICATE)
      & has_r_0009_0031__in_nim95(R_0009_0023__TO_R_0009_0024__COMMUNICATE,R_0009_0032__A_R_0009_0034__VARIETY)
      & r_0009_0032__a_r_0009_0034__variety(R_0009_0032__A_R_0009_0034__VARIETY)
      & has_r_0009_0035__of(R_0009_0032__A_R_0009_0034__VARIETY,R_0009_0037__WAYS)
      & r_0009_0037__ways(R_0009_0037__WAYS)
      & has_attrib107(R_0009_0037__WAYS,R_0009_0036__DIFFERENT)
      & has_attrib98(R_0009_0032__A_R_0009_0034__VARIETY,R_0009_0033__WIDE)
      & has_r_0009_0027__to_clr84(R_0009_0023__TO_R_0009_0024__COMMUNICATE,R_0009_0028__THE_R_0009_0030__PUBLIC)
      & r_0009_0028__the_r_0009_0030__public(R_0009_0028__THE_R_0009_0030__PUBLIC)
      & has_attrib87(R_0009_0028__THE_R_0009_0030__PUBLIC,R_0009_0029__GENERAL)
      & has_arg1(R_0009_0023__TO_R_0009_0024__COMMUNICATE,R_0009_0026__ACCOMPLISHMENTS)
      & r_0009_0026__accomplishments(R_0009_0026__ACCOMPLISHMENTS)
      & has_gen(R_0009_0026__ACCOMPLISHMENTS,R_0009_0022__US)
      & has_arg0(R_0009_0023__TO_R_0009_0024__COMMUNICATE,R_0009_0022__US)
      & has_arg0(R_0009_0020__HAVE_R_0009_0021__ALLOWED,R_0009_0016__AND)
      & r_0009_0016__and(R_0009_0016__AND)
      & has_conj3(R_0009_0016__AND,R_0009_0017__EVENTS)
      & r_0009_0017__events(R_0009_0017__EVENTS)
      & has_r_0009_0018__for(R_0009_0017__EVENTS,R_0009_0019__SCHOOLCHILDREN)
      & has_conj2(R_0009_0016__AND,R_0009_0009__SEMINARS)
      & has_conj1(R_0009_0016__AND,R_0009_0006__AND)
      & r_0009_0006__and(R_0009_0006__AND)
      & has_conj2(R_0009_0006__AND,R_0009_0007__FORUMS)
      & has_conj1(R_0009_0006__AND,R_0009_0005__LECTURES)
      & r_0009_0005__lectures(R_0009_0005__LECTURES)
      & has_attrib15(R_0009_0005__LECTURES,R_0009_0004__PUBLIC)
      & has_r_0009_0001__In_nim5(R_0009_0020__HAVE_R_0009_0021__ALLOWED,R_0009_0002__ADDITION)
      & r_0009_0010__conducted(R_0009_0010__CONDUCTED)
      & has_arg0(R_0009_0010__CONDUCTED,Z_000_9_A_NINJAL_MISSION_33)
      & has_r_0009_0011__outside_nim40(R_0009_0010__CONDUCTED,R_0009_0012__THE_R_0009_0014__REGION)
      & r_0009_0012__the_r_0009_0014__region(R_0009_0012__THE_R_0009_0014__REGION)
      & has_attrib43(R_0009_0012__THE_R_0009_0014__REGION,R_0009_0013__CAPITAL)
      & has_arg1(R_0009_0010__CONDUCTED,R_0009_0009__SEMINARS) ) ).

( (IP-MAT (PP-NIM (P-ROLE In;{in})
                  (NP (N addition;{addition})))
          (PUNC ,)
          (NP-SBJ (NLYR (NLYR (NLYR (NLYR (ADJP (ADJ public;{public}))
                                          (NS lectures;{lecture}))
                                    (CONJP (CONJ and;{and})
                                           (NLYR (NS forums;{forum})))))
                        (PUNC ,)
                        (CONJP (NLYR (NS seminars;{seminar})
                                     (IP-PPL (NP-LGS *)
                                             (VVN;_Tn_ conducted;{conduct})
                                             (PP-NIM (P-ROLE outside;{outside})
                                                     (NP (D the;{the})
                                                         (ADJP (ADJ capital;{capital}))
                                                         (N region;{region}))))))
                        (PUNC ,)
                        (CONJP (CONJ and;{and})
                               (NLYR (NS events;{event})
                                     (PP (P-ROLE for;{for})
                                         (NP (NS schoolchildren;{schoolchildren})))))))
          (HVP;_cat_Ve_ have;{have})
          (IP-PPL-CAT (VVN;_Tnt_ allowed;{allow})
                      (NP-DOB1 (PRO us;{we}))
                      (IP-INF-OB1 (TO to;{to})
                                  (VB;_Tn.pr_ communicate;{communicate[to]})
                                  (NP-OB1 (NP-GEN (PRO;_genm_ our;{our}))
                                          (NS accomplishments;{accomplishment}))
                                  (PP-CLR (P-ROLE to;{to})
                                          (NP (D the;{the})
                                              (ADJP (ADJ general;{general}))
                                              (N public;{public})))
                                  (PP-NIM (P-ROLE in;{in})
                                          (NP (D a;{a})
                                              (ADJP (ADJ wide;{wide}))
                                              (N variety;{variety})
                                              (PP (P-ROLE of;{of})
                                                  (NP (ADJP (ADJ different;{different}))
                                                      (NS ways;{way})))))))
          (PUNC .))
  (ID 9_a_ninjal_mission))