TSPC 126_a_lob

126_a_lob_a01
‘That can not continue without either development being limited or an adjustment being made in financing.’

( (IP-MAT (PULQ <lquo>)
          (NP-SBJ (D;_nphd_ That;{that}))
          (MD;_cat_Vi_ can;{can})
          (NEG not;{not})
          (IP-INF-CAT (VB;__ continue;{continue})
                      (PP-SCON (P-CONN without;{without})
                               (IP-PPL3 (ILYR (CONJ;_cl_ either;{either})
                                              (ILYR (NP-SBJ (N development;{development}))
                                                    (BAG;_cat_VePASS_ being;{be})
                                                    (IP-PPL-CAT (NP-LGS *)
                                                                (VVN;__ limited;{limit})))
                                              (CONJP (CONJ or;{or})
                                                     (ILYR (NP-SBJ (D an;{an})
                                                                   (N adjustment;{adjustment}))
                                                           (BAG;_cat_VePASS_ being;{be})
                                                           (IP-PPL-CAT (NP-LGS *)
                                                                       (VVN;__ made;{make})
                                                                       (PP-NIM (P-ROLE in;{in})
                                                                               (NP (N financing;{financing}))))))))))
          (PUNC .)
          (PURQ <rquo>))
  (ID 126_a_lob_a01))

arc(r_0126_0003__can,r_0126_0006__without,scope).
arc(r_0126_0004__not,r_0126_0003__can,keep_scope).
arc(r_0126_0005__continue,r_0126_0002__That,arg0).
arc(r_0126_0006__without,r_0126_0005__continue,scope).
arc(r_0126_0006__without,r_0126_0007__either_r_0126_0011__or,restriction).
arc(r_0126_0007__either_r_0126_0011__or,r_0126_0009__being,conj1).
arc(r_0126_0007__either_r_0126_0011__or,r_0126_0014__being,conj2).
arc(r_0126_0009__being,r_0126_0010__limited,scope).
arc(r_0126_0010__limited,r_0126_0008__development,arg1).
arc(r_0126_0010__limited,z_0126_5005___star_,arg0).
arc(r_0126_0014__being,r_0126_0015__made,scope).
arc(r_0126_0015__made,r_0126_0012__an_r_0126_0013__adjustment,arg1).
arc(r_0126_0015__made,r_0126_0017__financing,r_0126_0016__in__nim).
arc(r_0126_0015__made,z_0126_5011___star_,arg0).

fof(formula,axiom,
    ~ ? [R_0126_0002__THAT,R_0126_0005__CONTINUE,R_0126_0008__DEVELOPMENT,Z_0126_5005___STAR_,R_0126_0009__BEING_R_0126_0010__LIMITED,R_0126_0012__AN_R_0126_0013__ADJUSTMENT,R_0126_0017__FINANCING,Z_0126_5011___STAR_,R_0126_0014__BEING_R_0126_0015__MADE,R_0126_0007__EITHER_R_0126_0011__OR,R_0126_0006__WITHOUT,R_0126_0003__CAN] :
        ( r_0126_0002__That(R_0126_0002__THAT)
        & r_0126_0008__development(R_0126_0008__DEVELOPMENT)
        & r_0126_0012__an_r_0126_0013__adjustment(R_0126_0012__AN_R_0126_0013__ADJUSTMENT)
        & r_0126_0017__financing(R_0126_0017__FINANCING)
        & z_0126_5005___star_(Z_0126_5005___STAR_)
        & z_0126_5011___star_(Z_0126_5011___STAR_)
        & r_0126_0003__can(R_0126_0003__CAN)
        & has_keep_scope(R_0126_0003__CAN,R_0126_0006__WITHOUT)
        & r_0126_0006__without(R_0126_0006__WITHOUT)
        & has_conj1(R_0126_0006__WITHOUT,R_0126_0007__EITHER_R_0126_0011__OR)
        & r_0126_0007__either_r_0126_0011__or(R_0126_0007__EITHER_R_0126_0011__OR)
        & has_conj2(R_0126_0007__EITHER_R_0126_0011__OR,R_0126_0014__BEING_R_0126_0015__MADE)
        & r_0126_0014__being_r_0126_0015__made(R_0126_0014__BEING_R_0126_0015__MADE)
        & has_arg0(R_0126_0014__BEING_R_0126_0015__MADE,Z_0126_5011___STAR_)
        & has_r_0126_0016__in__nim(R_0126_0014__BEING_R_0126_0015__MADE,R_0126_0017__FINANCING)
        & has_arg1(R_0126_0014__BEING_R_0126_0015__MADE,R_0126_0012__AN_R_0126_0013__ADJUSTMENT)
        & has_conj1(R_0126_0007__EITHER_R_0126_0011__OR,R_0126_0009__BEING_R_0126_0010__LIMITED)
        & r_0126_0009__being_r_0126_0010__limited(R_0126_0009__BEING_R_0126_0010__LIMITED)
        & has_arg0(R_0126_0009__BEING_R_0126_0010__LIMITED,Z_0126_5005___STAR_)
        & has_arg1(R_0126_0009__BEING_R_0126_0010__LIMITED,R_0126_0008__DEVELOPMENT)
        & has_conj2(R_0126_0006__WITHOUT,R_0126_0005__CONTINUE)
        & r_0126_0005__continue(R_0126_0005__CONTINUE)
        & has_arg0(R_0126_0005__CONTINUE,R_0126_0002__THAT) ) ).