arc(r_0037_0006__is, r_0037_0002__this_r_0037_0003__reason, r_0037_0001__For_nim5).
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_0009__to_r_0037_0010__choose, arg1).
arc(r_0037_0007__considered, z_000_37_a_kyoto_2_18, arg0).
arc(r_0037_0009__to_r_0037_0010__choose, r_0037_0011__the_r_0037_0013__Zen_r_0037_0014__master, arg1).
arc(r_0037_0009__to_r_0037_0010__choose, z_000_37_a_kyoto_2_18, arg0).
arc(r_0037_0011__the_r_0037_0013__Zen_r_0037_0014__master, r_0037_0012__right, attrib33).

fof(formula,axiom,
    ? [R_37_6_IS_CONSIDERED,R_37_9_TO_CHOOSE,Z_37_A_KYOTO_2_18,R_37_11_THE_ZEN_MASTER,R_37_12_RIGHT,R_37_8_CRUCIAL,R_37_2_THIS_REASON] :
      ( right(R_37_12_RIGHT)
      & crucial(R_37_8_CRUCIAL)
      & this_reason(R_37_2_THIS_REASON)
      & is_considered(R_37_6_IS_CONSIDERED,Z_37_A_KYOTO_2_18,R_37_9_TO_CHOOSE,R_37_8_CRUCIAL)
      & to_choose(R_37_9_TO_CHOOSE,Z_37_A_KYOTO_2_18,R_37_11_THE_ZEN_MASTER)
      & the_Zen_master(R_37_11_THE_ZEN_MASTER)
      & attrib33(R_37_11_THE_ZEN_MASTER,R_37_12_RIGHT)
      & for_nim5(R_37_6_IS_CONSIDERED,R_37_2_THIS_REASON) ) ).

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