TSPC 6_a_ninjal

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

( (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))

arc(r_0006_0003__role,r_0006_0001__NINJAL,gen).
arc(r_0006_0004__is,r_0006_0003__role,arg0).
arc(r_0006_0004__is,r_0006_0006__promote,prd).
arc(r_0006_0006__promote,r_0006_0007__humanities_r_0006_0008__research,arg1).
arc(r_0006_0006__promote,z_0006_5004,arg0).
arc(r_0006_0009__focused_r_0006_0010__on,r_0006_0007__humanities_r_0006_0008__research,inv_arg1).
arc(r_0006_0009__focused_r_0006_0010__on,r_0006_0011__language,arg2).
arc(r_0006_0009__focused_r_0006_0010__on,z_0006_5007___star_,arg0).

fof(formula,axiom,
    ? [R_0006_0001__NINJAL,R_0006_0003__ROLE,R_0006_0011__LANGUAGE,Z_0006_5007___STAR_,R_0006_0009__FOCUSED_R_0006_0010__ON,R_0006_0007__HUMANITIES_R_0006_0008__RESEARCH,Z_0006_5004,R_0006_0006__PROMOTE,R_0006_0004__IS] :
      ( r_0006_0001__NINJAL(R_0006_0001__NINJAL)
      & r_0006_0011__language(R_0006_0011__LANGUAGE)
      & z_0006_5004(Z_0006_5004)
      & z_0006_5007___star_(Z_0006_5007___STAR_)
      & r_0006_0004__is(R_0006_0004__IS)
      & has_prd(R_0006_0004__IS,R_0006_0006__PROMOTE)
      & r_0006_0006__promote(R_0006_0006__PROMOTE)
      & has_arg0(R_0006_0006__PROMOTE,Z_0006_5004)
      & has_arg1(R_0006_0006__PROMOTE,R_0006_0007__HUMANITIES_R_0006_0008__RESEARCH)
      & r_0006_0007__humanities_r_0006_0008__research(R_0006_0007__HUMANITIES_R_0006_0008__RESEARCH)
      & has_inv_arg1(R_0006_0007__HUMANITIES_R_0006_0008__RESEARCH,R_0006_0009__FOCUSED_R_0006_0010__ON)
      & r_0006_0009__focused_r_0006_0010__on(R_0006_0009__FOCUSED_R_0006_0010__ON)
      & has_arg0(R_0006_0009__FOCUSED_R_0006_0010__ON,Z_0006_5007___STAR_)
      & has_arg2(R_0006_0009__FOCUSED_R_0006_0010__ON,R_0006_0011__LANGUAGE)
      & 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) ) ).