TSPC 37_a_kyoto

37_a_kyoto_2
For this reason, it is considered crucial to choose the right Zen master.

( (IP-MAT (PP-NIM (P-ROLE For;{for})
                  (NP (D this;{this})
                      (N reason;{reason})))
          (PUNC ,)
          (NP-SBJ (PRO;_provisional_ it;{it}))
          (BEP;_cat_VePASS_ is;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;__ considered;{consider})
                      (ADJP-PRD (ADJ crucial;{crucial}))
                      (IP-INF-NSBJ (TO to;{to})
                                   (VB;__ choose;{choose})
                                   (NP-OB1 (D the;{the})
                                           (ADJP (ADJ right;{right}))
                                           (NPR Zen;{Zen})
                                           (N master;{master}))))
          (PUNC .))
  (ID 37_a_kyoto_2;BDS_00002;37))

arc(r_0037_0006__is,r_0037_0002__this_r_0037_0003__reason,r_0037_0001__For__nim).
arc(r_0037_0006__is,r_0037_0007__considered,scope).
arc(r_0037_0007__considered,r_0037_0008__crucial,prd).
arc(r_0037_0007__considered,r_0037_0010__choose,arg1).
arc(r_0037_0007__considered,z_0037_5009___star_,arg0).
arc(r_0037_0010__choose,r_0037_0011__the_r_0037_0013__Zen_r_0037_0014__master,arg1).
arc(r_0037_0010__choose,z_0037_5002,arg0).
arc(r_0037_0011__the_r_0037_0013__Zen_r_0037_0014__master,r_0037_0012__right,attrib).

fof(formula,axiom,
    ? [R_0037_0002__THIS_R_0037_0003__REASON,R_0037_0008__CRUCIAL,R_0037_0012__RIGHT,R_0037_0011__THE_R_0037_0013__ZEN_R_0037_0014__MASTER,Z_0037_5002,R_0037_0010__CHOOSE,Z_0037_5009___STAR_,R_0037_0006__IS_R_0037_0007__CONSIDERED] :
      ( r_0037_0002__this_r_0037_0003__reason(R_0037_0002__THIS_R_0037_0003__REASON)
      & r_0037_0008__crucial(R_0037_0008__CRUCIAL)
      & r_0037_0012__right(R_0037_0012__RIGHT)
      & z_0037_5002(Z_0037_5002)
      & z_0037_5009___star_(Z_0037_5009___STAR_)
      & r_0037_0006__is_r_0037_0007__considered(R_0037_0006__IS_R_0037_0007__CONSIDERED)
      & has_arg0(R_0037_0006__IS_R_0037_0007__CONSIDERED,Z_0037_5009___STAR_)
      & has_arg1(R_0037_0006__IS_R_0037_0007__CONSIDERED,R_0037_0010__CHOOSE)
      & r_0037_0010__choose(R_0037_0010__CHOOSE)
      & has_arg0(R_0037_0010__CHOOSE,Z_0037_5002)
      & has_arg1(R_0037_0010__CHOOSE,R_0037_0011__THE_R_0037_0013__ZEN_R_0037_0014__MASTER)
      & r_0037_0011__the_r_0037_0013__Zen_r_0037_0014__master(R_0037_0011__THE_R_0037_0013__ZEN_R_0037_0014__MASTER)
      & has_attrib(R_0037_0011__THE_R_0037_0013__ZEN_R_0037_0014__MASTER,R_0037_0012__RIGHT)
      & has_prd(R_0037_0006__IS_R_0037_0007__CONSIDERED,R_0037_0008__CRUCIAL)
      & has_r_0037_0001__For__nim(R_0037_0006__IS_R_0037_0007__CONSIDERED,R_0037_0002__THIS_R_0037_0003__REASON) ) ).