TSPC 6_a_ninjal

6_a_ninjal_mission
NINJAL's role is to promote humanities research focused on language.

arc(r_0006_0003__role, r_0006_0001__NINJAL_r_0006_0002___apos_s, gen).
arc(r_0006_0004__is, r_0006_0003__role, arg0).
arc(r_0006_0004__is, r_0006_0005__to_r_0006_0006__promote, prd).
arc(r_0006_0005__to_r_0006_0006__promote, r_0006_0007__humanities_r_0006_0008__research, arg1).
arc(r_0006_0005__to_r_0006_0006__promote, x_000_6_a_ninjal_mission_12, arg0).
arc(r_0006_0009__focused, r_0006_0007__humanities_r_0006_0008__research, arg1).
arc(r_0006_0009__focused, r_0006_0011__language, r_0006_0010__on_clr30).
arc(r_0006_0009__focused, z_000_6_a_ninjal_mission_23, arg0).

fof(formula,axiom,
    ? [R_0006_0001__NINJAL_R_0006_0002___APOS_S,R_0006_0003__ROLE,R_0006_0007__HUMANITIES_R_0006_0008__RESEARCH,X_000_6_A_NINJAL_MISSION_12,R_0006_0005__TO_R_0006_0006__PROMOTE,R_0006_0004__IS,R_0006_0011__LANGUAGE,Z_000_6_A_NINJAL_MISSION_23,R_0006_0009__FOCUSED] :
      ( r_0006_0001__NINJAL_r_0006_0002___apos_s(R_0006_0001__NINJAL_R_0006_0002___APOS_S)
      & r_0006_0007__humanities_r_0006_0008__research(R_0006_0007__HUMANITIES_R_0006_0008__RESEARCH)
      & r_0006_0011__language(R_0006_0011__LANGUAGE)
      & x_000_6_a_ninjal_mission_12(X_000_6_A_NINJAL_MISSION_12)
      & z_000_6_a_ninjal_mission_23(Z_000_6_A_NINJAL_MISSION_23)
      & r_0006_0009__focused(R_0006_0009__FOCUSED)
      & has_arg0(R_0006_0009__FOCUSED,Z_000_6_A_NINJAL_MISSION_23)
      & has_r_0006_0010__on_clr30(R_0006_0009__FOCUSED,R_0006_0011__LANGUAGE)
      & has_arg1(R_0006_0009__FOCUSED,R_0006_0007__HUMANITIES_R_0006_0008__RESEARCH)
      & r_0006_0004__is(R_0006_0004__IS)
      & has_prd(R_0006_0004__IS,R_0006_0005__TO_R_0006_0006__PROMOTE)
      & r_0006_0005__to_r_0006_0006__promote(R_0006_0005__TO_R_0006_0006__PROMOTE)
      & has_arg0(R_0006_0005__TO_R_0006_0006__PROMOTE,X_000_6_A_NINJAL_MISSION_12)
      & has_arg1(R_0006_0005__TO_R_0006_0006__PROMOTE,R_0006_0007__HUMANITIES_R_0006_0008__RESEARCH)
      & has_arg0(R_0006_0004__IS,R_0006_0003__ROLE)
      & r_0006_0003__role(R_0006_0003__ROLE)
      & has_gen(R_0006_0003__ROLE,R_0006_0001__NINJAL_R_0006_0002___APOS_S) ) ).

( (IP-MAT (NP-SBJ (NP-GEN (NPR NINJAL;{NINJAL})
                          (GENM <apos>s))
                  (N role;{role}))
          (BEP;_equ_Vt_ is;{be})
          (IP-INF-PRD (TO to;{to})
                      (VB;_Tn_ promote;{promote})
                      (NP-OB1 (NS humanities;{humanity})
                              (N research;{research})
                              (IP-PPL (NP-LGS *)
                                      (VVN;_Tn.pr_ focused;{focus})
                                      (PP-CLR (P-ROLE on;{on})
                                              (NP (N language;{language}))))))
          (PUNC .))
  (ID 6_a_ninjal_mission))