TSPC 19_a_ninjal

19_a_ninjal_mission
If the word “society” is interpreted broadly, it can be referred not only to Japanese society as a whole but also more specifically to the scholarly community.

( (IP-MAT (PP-SCON (P-CONN If;{if})
                   (IP-ADV (NP-SBJ;{WORD} (D the;{the})
                                          (N word;{word})
                                          (PULQ <ldquo>)
                                          (N society;{society})
                                          (PURQ <rdquo>))
                           (BEP;_cat_VePASS_ is;{be})
                           (IP-PPL-CAT (NP-LGS *)
                                       (VVN;_Tn_ interpreted;{interpret})
                                       (ADVP-NIM (ADV broadly;{broadly})))))
          (PUNC ,)
          (NP-SBJ;{WORD} (PRO it;{it}))
          (MD;_cat_Vi_ can;{can})
          (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Tn.pr_ referred;{refer})
                                  (PP-CLR (PP-CLR (ADVP-NIM (NEG not;{not})
                                                            (ADV only;{only}))
                                                  (P-ROLE to;{to})
                                                  (NP (ADJP (ADJ Japanese;{Japanese}))
                                                      (N society;{society})
                                                      (PP (P-ROLE as;{as})
                                                          (NP (D a;{a})
                                                              (ADJP (ADJ whole;{whole}))))))
                                          (CONJP (CONJ but;{but})
                                                 (PP-CLR (ADVP-NIM (ADV also;{also}))
                                                         (ADVP-NIM (ADVP (ADVR more;{more}))
                                                                   (ADV specifically;{specifically}))
                                                         (P-ROLE to;{to})
                                                         (NP (D the;{the})
                                                             (ADJP (ADJ scholarly;{scholarly}))
                                                             (N community;{community})))))))
          (PUNC .))
  (ID 19_a_ninjal_mission))

arc(r_0019_0001__If,r_0019_0007__is,restriction).
arc(r_0019_0001__If,r_0019_0012__can,scope).
arc(r_0019_0007__is,r_0019_0008__interpreted,scope).
arc(r_0019_0008__interpreted,r_0019_0002__the_r_0019_0003__word_r_0019_0005__society,arg1).
arc(r_0019_0008__interpreted,r_0019_0009__broadly,nim).
arc(r_0019_0008__interpreted,z_0019_5005___star_,arg0).
arc(r_0019_0012__can,r_0019_0013__be,scope).
arc(r_0019_0013__be,r_0019_0014__referred,scope).
arc(r_0019_0014__referred,r_0019_0002__the_r_0019_0003__word_r_0019_0005__society,arg1).
arc(r_0019_0014__referred,r_0019_0023__but,clr).
arc(r_0019_0014__referred,z_0019_5018___star_,arg0).
arc(r_0019_0019__society,r_0019_0018__Japanese,attrib).
arc(r_0019_0019__society,r_0019_0021__a,r_0019_0020__as).
arc(r_0019_0021__a,r_0019_0022__whole,attrib).
arc(r_0019_0023__but,r_0019_0019__society,r_0019_0015__not_r_0019_0016__only_r_0019_0017__to__clr).
arc(r_0019_0023__but,r_0019_0028__the_r_0019_0030__community,r_0019_0024__also_r_0019_0025__more_r_0019_0026__specifically_r_0019_0027__to__clr).
arc(r_0019_0028__the_r_0019_0030__community,r_0019_0029__scholarly,attrib).

fof(formula,axiom,
    ! [R_0019_0007__IS_R_0019_0008__INTERPRETED,R_0019_0002__THE_R_0019_0003__WORD_R_0019_0005__SOCIETY,R_0019_0009__BROADLY,Z_0019_5005___STAR_] :
      ( ( r_0019_0002__the_r_0019_0003__word_r_0019_0005__society(R_0019_0002__THE_R_0019_0003__WORD_R_0019_0005__SOCIETY)
        & r_0019_0009__broadly(R_0019_0009__BROADLY)
        & z_0019_5005___star_(Z_0019_5005___STAR_)
        & r_0019_0007__is_r_0019_0008__interpreted(R_0019_0007__IS_R_0019_0008__INTERPRETED)
        & has_arg0(R_0019_0007__IS_R_0019_0008__INTERPRETED,Z_0019_5005___STAR_)
        & has_nim(R_0019_0007__IS_R_0019_0008__INTERPRETED,R_0019_0009__BROADLY)
        & has_arg1(R_0019_0007__IS_R_0019_0008__INTERPRETED,R_0019_0002__THE_R_0019_0003__WORD_R_0019_0005__SOCIETY) )
     => ? [R_0019_0018__JAPANESE,R_0019_0022__WHOLE,R_0019_0021__A,R_0019_0019__SOCIETY,R_0019_0029__SCHOLARLY,R_0019_0028__THE_R_0019_0030__COMMUNITY,R_0019_0023__BUT,Z_0019_5018___STAR_,R_0019_0012__CAN_R_0019_0013__BE_R_0019_0014__REFERRED] :
          ( r_0019_0018__Japanese(R_0019_0018__JAPANESE)
          & r_0019_0022__whole(R_0019_0022__WHOLE)
          & r_0019_0029__scholarly(R_0019_0029__SCHOLARLY)
          & z_0019_5018___star_(Z_0019_5018___STAR_)
          & r_0019_0012__can_r_0019_0013__be_r_0019_0014__referred(R_0019_0012__CAN_R_0019_0013__BE_R_0019_0014__REFERRED)
          & has_arg0(R_0019_0012__CAN_R_0019_0013__BE_R_0019_0014__REFERRED,Z_0019_5018___STAR_)
          & has_clr(R_0019_0012__CAN_R_0019_0013__BE_R_0019_0014__REFERRED,R_0019_0023__BUT)
          & r_0019_0023__but(R_0019_0023__BUT)
          & has_r_0019_0024__also_r_0019_0025__more_r_0019_0026__specifically_r_0019_0027__to__clr(R_0019_0023__BUT,R_0019_0028__THE_R_0019_0030__COMMUNITY)
          & r_0019_0028__the_r_0019_0030__community(R_0019_0028__THE_R_0019_0030__COMMUNITY)
          & has_attrib(R_0019_0028__THE_R_0019_0030__COMMUNITY,R_0019_0029__SCHOLARLY)
          & has_r_0019_0015__not_r_0019_0016__only_r_0019_0017__to__clr(R_0019_0023__BUT,R_0019_0019__SOCIETY)
          & r_0019_0019__society(R_0019_0019__SOCIETY)
          & has_r_0019_0020__as(R_0019_0019__SOCIETY,R_0019_0021__A)
          & r_0019_0021__a(R_0019_0021__A)
          & has_attrib(R_0019_0021__A,R_0019_0022__WHOLE)
          & has_attrib(R_0019_0019__SOCIETY,R_0019_0018__JAPANESE)
          & has_arg1(R_0019_0012__CAN_R_0019_0013__BE_R_0019_0014__REFERRED,R_0019_0002__THE_R_0019_0003__WORD_R_0019_0005__SOCIETY) ) ) ).