( (IP-MAT (NP-SBJ (PRO;_provisional_ It;{it}))
          (BEP;_La_ is;{be})
          (ADJP-PRD (ADJ possible;{possible}))
          (IP-INF-NSBJ (P-CONN for;{for})
                       (NP-SBJ;{MASTER} (D a;{a})
                                        (N master;{master}))
                       (ILYR (ILYR (TO to;{to})
                                   (VB;_Ipr_ leave;{leave[behind]})
                                   (PP-CLR (P-ROLE behind;{behind})
                                           (NP (ADJP (ADJ several;{several}))
                                               (ADJP (ADJ new;{new}))
                                               (NS masters;{master}))))
                             (PUNC ,)
                             (CONJP (CONJ or;{or})
                                    (ILYR (PP-NIM (P-ROLE at;{at})
                                                  (NP (NP-GEN;{MASTER} (PRO;_genm_ his;{his}))
                                                      (N discretion;{discretion})))
                                          (ILYR (ILYR (NEG not;{not})
                                                      (TO to;{to})
                                                      (VB;_Tn_ leave;{leave})
                                                      (NP-OB1 (D a;{a})
                                                              (N successor;{successor})))
                                                (CONJP (CONJ and;{and})
                                                       (ILYR (VB;_Tn.pr_ bring;{bring[to]})
                                                             (NP-OB1 (NP-GEN;{MASTER} (PRO;_genm_ his;{his}))
                                                                     (N line;{line}))
                                                             (PP-CLR (P-ROLE to;{to})
                                                                     (NP (D an;{an})
                                                                         (N end;{end}))))))))))
          (PUNC .))
  (ID 27_a_kyoto_2;BDS_00002;27))

arc(r_0027_0002__is,r_0027_0003__possible,prd).
arc(r_0027_0002__is,r_0027_0014__or,arg0).
arc(r_0027_0008__leave_r_0027_0009__behind,r_0027_0005__a_r_0027_0006__master,arg0).
arc(r_0027_0008__leave_r_0027_0009__behind,r_0027_0012__masters,arg1).
arc(r_0027_0012__masters,r_0027_0010__several,attrib).
arc(r_0027_0012__masters,r_0027_0011__new,attrib).
arc(r_0027_0014__or,r_0027_0008__leave_r_0027_0009__behind,conj1).
arc(r_0027_0014__or,r_0027_0023__and,conj2).
arc(r_0027_0017__discretion,r_0027_0005__a_r_0027_0006__master,gen).
arc(r_0027_0018__not,r_0027_0020__leave,keep_scope).
arc(r_0027_0020__leave,r_0027_0005__a_r_0027_0006__master,arg0).
arc(r_0027_0020__leave,r_0027_0017__discretion,r_0027_0015__at__nim).
arc(r_0027_0020__leave,r_0027_0021__a_r_0027_0022__successor,arg1).
arc(r_0027_0023__and,r_0027_0018__not,conj1).
arc(r_0027_0023__and,r_0027_0024__bring_r_0027_0027__to,conj2).
arc(r_0027_0024__bring_r_0027_0027__to,r_0027_0005__a_r_0027_0006__master,arg0).
arc(r_0027_0024__bring_r_0027_0027__to,r_0027_0017__discretion,r_0027_0015__at__nim).
arc(r_0027_0024__bring_r_0027_0027__to,r_0027_0026__line,arg1).
arc(r_0027_0024__bring_r_0027_0027__to,r_0027_0028__an_r_0027_0029__end,arg2).
arc(r_0027_0026__line,r_0027_0005__a_r_0027_0006__master,gen).

fof(formula,axiom,
    ? [R_0027_0003__POSSIBLE,R_0027_0005__A_R_0027_0006__MASTER,R_0027_0010__SEVERAL,R_0027_0011__NEW,R_0027_0012__MASTERS,R_0027_0008__LEAVE_R_0027_0009__BEHIND,R_0027_0017__DISCRETION,R_0027_0026__LINE,R_0027_0028__AN_R_0027_0029__END,R_0027_0024__BRING_R_0027_0027__TO,R_0027_0023__AND,R_0027_0014__OR,R_0027_0002__IS] :
      ( r_0027_0003__possible(R_0027_0003__POSSIBLE)
      & r_0027_0005__a_r_0027_0006__master(R_0027_0005__A_R_0027_0006__MASTER)
      & r_0027_0010__several(R_0027_0010__SEVERAL)
      & r_0027_0011__new(R_0027_0011__NEW)
      & r_0027_0028__an_r_0027_0029__end(R_0027_0028__AN_R_0027_0029__END)
      & r_0027_0002__is(R_0027_0002__IS)
      & has_arg0(R_0027_0002__IS,R_0027_0014__OR)
      & r_0027_0014__or(R_0027_0014__OR)
      & has_conj2(R_0027_0014__OR,R_0027_0023__AND)
      & r_0027_0023__and(R_0027_0023__AND)
      & has_conj2(R_0027_0023__AND,R_0027_0024__BRING_R_0027_0027__TO)
      & r_0027_0024__bring_r_0027_0027__to(R_0027_0024__BRING_R_0027_0027__TO)
      & has_arg2(R_0027_0024__BRING_R_0027_0027__TO,R_0027_0028__AN_R_0027_0029__END)
      & has_arg1(R_0027_0024__BRING_R_0027_0027__TO,R_0027_0026__LINE)
      & r_0027_0026__line(R_0027_0026__LINE)
      & has_gen(R_0027_0026__LINE,R_0027_0005__A_R_0027_0006__MASTER)
      & has_r_0027_0015__at__nim(R_0027_0024__BRING_R_0027_0027__TO,R_0027_0017__DISCRETION)
      & r_0027_0017__discretion(R_0027_0017__DISCRETION)
      & has_gen(R_0027_0017__DISCRETION,R_0027_0005__A_R_0027_0006__MASTER)
      & has_arg0(R_0027_0024__BRING_R_0027_0027__TO,R_0027_0005__A_R_0027_0006__MASTER)
      & has_conj1(R_0027_0023__AND,R_0027_0018__NOT)
      & ~ ? [R_0027_0021__A_R_0027_0022__SUCCESSOR,R_0027_0020__LEAVE] :
            ( r_0027_0021__a_r_0027_0022__successor(R_0027_0021__A_R_0027_0022__SUCCESSOR)
            & r_0027_0020__leave(R_0027_0020__LEAVE)
            & has_arg1(R_0027_0020__LEAVE,R_0027_0021__A_R_0027_0022__SUCCESSOR)
            & has_r_0027_0015__at__nim(R_0027_0020__LEAVE,R_0027_0017__DISCRETION)
            & has_arg0(R_0027_0020__LEAVE,R_0027_0005__A_R_0027_0006__MASTER) )
      & has_conj1(R_0027_0014__OR,R_0027_0008__LEAVE_R_0027_0009__BEHIND)
      & r_0027_0008__leave_r_0027_0009__behind(R_0027_0008__LEAVE_R_0027_0009__BEHIND)
      & has_arg1(R_0027_0008__LEAVE_R_0027_0009__BEHIND,R_0027_0012__MASTERS)
      & r_0027_0012__masters(R_0027_0012__MASTERS)
      & has_attrib(R_0027_0012__MASTERS,R_0027_0011__NEW)
      & has_attrib(R_0027_0012__MASTERS,R_0027_0010__SEVERAL)
      & has_arg0(R_0027_0008__LEAVE_R_0027_0009__BEHIND,R_0027_0005__A_R_0027_0006__MASTER)
      & has_prd(R_0027_0002__IS,R_0027_0003__POSSIBLE) ) ).