arc(r_0084_0002__promised, r_0084_0001__He, arg0).
arc(r_0084_0002__promised, r_0084_0004__nothing_quant, arg1).
arc(r_0084_0003__that_r_0084_0005__should, r_0084_0006__be, scope).
arc(r_0084_0004__nothing_quant, r_0084_0003__that_r_0084_0005__should, scope).
arc(r_0084_0004__nothing_quant, z_000_84_a_lob_n01_11, restriction).
arc(r_0084_0006__be, r_0084_0007__allowed, scope).
arc(r_0084_0007__allowed, r_0084_0008__to_r_0084_0009__increase, arg1).
arc(r_0084_0007__allowed, z_000_84_a_lob_n01_20, arg0).
arc(r_0084_0008__to_r_0084_0009__increase, r_0084_0010__the_r_0084_0011__danger, arg1).
arc(r_0084_0008__to_r_0084_0009__increase, z_000_84_a_lob_n01_11, arg0).
arc(r_0084_0010__the_r_0084_0011__danger, r_0084_0014__meeting, r_0084_0012__of).
arc(r_0084_0014__meeting, r_0084_0013__our, gen).

fof(formula,axiom,
    ? [R_0084_0001__HE,R_0084_0002__PROMISED] :
      ( r_0084_0001__He(R_0084_0001__HE)
      & r_0084_0002__promised(R_0084_0002__PROMISED)
      & ! [Z_000_84_A_LOB_N01_11] :
          ( z_000_84_a_lob_n01_11(Z_000_84_A_LOB_N01_11)
         => ? [R_0084_0013__OUR,R_0084_0014__MEETING,R_0084_0010__THE_R_0084_0011__DANGER,R_0084_0008__TO_R_0084_0009__INCREASE,Z_000_84_A_LOB_N01_20,R_0084_0003__THAT_R_0084_0005__SHOULD_R_0084_0006__BE_R_0084_0007__ALLOWED] :
              ( r_0084_0013__our(R_0084_0013__OUR)
              & z_000_84_a_lob_n01_20(Z_000_84_A_LOB_N01_20)
              & r_0084_0003__that_r_0084_0005__should_r_0084_0006__be_r_0084_0007__allowed(R_0084_0003__THAT_R_0084_0005__SHOULD_R_0084_0006__BE_R_0084_0007__ALLOWED)
              & has_arg0(R_0084_0003__THAT_R_0084_0005__SHOULD_R_0084_0006__BE_R_0084_0007__ALLOWED,Z_000_84_A_LOB_N01_20)
              & has_arg1(R_0084_0003__THAT_R_0084_0005__SHOULD_R_0084_0006__BE_R_0084_0007__ALLOWED,R_0084_0008__TO_R_0084_0009__INCREASE)
              & r_0084_0008__to_r_0084_0009__increase(R_0084_0008__TO_R_0084_0009__INCREASE)
              & has_arg0(R_0084_0008__TO_R_0084_0009__INCREASE,Z_000_84_A_LOB_N01_11)
              & has_arg1(R_0084_0008__TO_R_0084_0009__INCREASE,R_0084_0010__THE_R_0084_0011__DANGER)
              & r_0084_0010__the_r_0084_0011__danger(R_0084_0010__THE_R_0084_0011__DANGER)
              & has_r_0084_0012__of(R_0084_0010__THE_R_0084_0011__DANGER,R_0084_0014__MEETING)
              & r_0084_0014__meeting(R_0084_0014__MEETING)
              & has_gen(R_0084_0014__MEETING,R_0084_0013__OUR) ) )
      & has_arg0(R_0084_0002__PROMISED,R_0084_0001__HE) ) ).

( (IP-MAT (NP-SBJ;{FARMER} (PRO He;{he}))
          (VBD;_Tf_ promised;{promise})
          (CP-THT-OB1 (IP-SUB (C that;{that})
                              (NP-SBJ (Q;_nphd_ nothing;{nothing}))
                              (MD;_cat_Vi_ should;{shall})
                              (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                                          (IP-PPL-CAT (NP-LGS *)
                                                      (VVN;_Tnt_ allowed;{allow})
                                                      (IP-INF-OB1 (TO to;{to})
                                                                  (VB;_Tn_ increase;{increase})
                                                                  (NP-OB1 (D the;{the})
                                                                          (N danger;{danger})
                                                                          (PP (P-ROLE of;{of})
                                                                              (NP (NP-GEN;{GLORIA_LANDER} (PRO;_genm_ our;{our}))
                                                                                  (N meeting;{meeting})))))))))
          (PUNC .)
          (PURQ <rquo>))
  (ID 84_a_lob_n01))