Context                Previous, Next                Top


84_a_lob_n01
He promised that nothing should be allowed to increase the danger of our meeting.’

%3 r_0084_0002__promised promised r_0084_0001__He He r_0084_0002__promised->r_0084_0001__He [arg0] r_0084_0004__nothing_quant nothing [quant] r_0084_0002__promised->r_0084_0004__nothing_quant [arg1] r_0084_0003__that_r_0084_0005__should that should r_0084_0004__nothing_quant->r_0084_0003__that_r_0084_0005__should [scope] z_000_84_a_lob_n01_11 r_0084_0004__nothing_quant->z_000_84_a_lob_n01_11 [restriction] r_0084_0006__be be r_0084_0003__that_r_0084_0005__should->r_0084_0006__be [scope] r_0084_0007__allowed allowed r_0084_0006__be->r_0084_0007__allowed [scope] r_0084_0008__to_r_0084_0009__increase to increase r_0084_0007__allowed->r_0084_0008__to_r_0084_0009__increase [arg1] z_000_84_a_lob_n01_20 r_0084_0007__allowed->z_000_84_a_lob_n01_20 [arg0] r_0084_0008__to_r_0084_0009__increase->z_000_84_a_lob_n01_11 [arg0] r_0084_0010__the_r_0084_0011__danger the danger r_0084_0008__to_r_0084_0009__increase->r_0084_0010__the_r_0084_0011__danger [arg1] r_0084_0014__meeting meeting r_0084_0010__the_r_0084_0011__danger->r_0084_0014__meeting of r_0084_0013__our our r_0084_0014__meeting->r_0084_0013__our [gen] 
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).


%3 r_0084_0014__meeting meeting r_0084_0013__our our r_0084_0014__meeting->r_0084_0013__our [gen] r_0084_0010__the_r_0084_0011__danger the danger r_0084_0010__the_r_0084_0011__danger->r_0084_0014__meeting of r_0084_0008__to_r_0084_0009__increase to increase r_0084_0008__to_r_0084_0009__increase->r_0084_0010__the_r_0084_0011__danger [arg1] z_000_84_a_lob_n01_11 r_0084_0008__to_r_0084_0009__increase->z_000_84_a_lob_n01_11 [arg0] r_0084_0003__that_r_0084_0005__should_r_0084_0006__be_r_0084_0007__allowed that should be allowed r_0084_0003__that_r_0084_0005__should_r_0084_0006__be_r_0084_0007__allowed->r_0084_0008__to_r_0084_0009__increase [arg1] z_000_84_a_lob_n01_20 r_0084_0003__that_r_0084_0005__should_r_0084_0006__be_r_0084_0007__allowed->z_000_84_a_lob_n01_20 [arg0] r_0084_0004__nothing_quant nothing [quant] r_0084_0004__nothing_quant->z_000_84_a_lob_n01_11 [restriction] r_0084_0004__nothing_quant->r_0084_0003__that_r_0084_0005__should_r_0084_0006__be_r_0084_0007__allowed [scope] r_0084_0002__promised promised r_0084_0002__promised->r_0084_0004__nothing_quant [arg1] r_0084_0001__He He r_0084_0002__promised->r_0084_0001__He [arg0] 
fof(formula,axiom,
    ? [R_84_2_PROMISED,R_84_1_HE] :
      ( he(R_84_1_HE)
      & ! [Z_84_A_LOB_N01_11] :
          ( true
         => ? [R_84_3_THAT_SHOULD_BE_ALLOWED,Z_84_A_LOB_N01_20,R_84_8_TO_INCREASE,R_84_10_THE_DANGER,R_84_14_MEETING,R_84_13_OUR] :
              ( our(R_84_13_OUR)
              & that_should_be_allowed(R_84_3_THAT_SHOULD_BE_ALLOWED,Z_84_A_LOB_N01_20,R_84_8_TO_INCREASE)
              & to_increase(R_84_8_TO_INCREASE,Z_84_A_LOB_N01_11,R_84_10_THE_DANGER)
              & the_danger(R_84_10_THE_DANGER)
              & of(R_84_10_THE_DANGER,R_84_14_MEETING)
              & meeting(R_84_14_MEETING)
              & gen(R_84_14_MEETING,R_84_13_OUR) ) )
      & arg1(ARG1)
      & promised(R_84_2_PROMISED,R_84_1_HE) ) ).


n84_a_lob_n01 n84_a_lob_n01__1_1_1_1 He n84_a_lob_n01__1_2_1 promised n84_a_lob_n01__1_3_1_1_1 that n84_a_lob_n01__1_3_1_2_1_1 nothing n84_a_lob_n01__1_3_1_3_1 should n84_a_lob_n01__1_3_1_4_1_1 be n84_a_lob_n01__1_3_1_4_2_1_1 * n84_a_lob_n01__1_3_1_4_2_2_1 allowed n84_a_lob_n01__1_3_1_4_2_3_1_1 to n84_a_lob_n01__1_3_1_4_2_3_2_1 increase n84_a_lob_n01__1_3_1_4_2_3_3_1_1 the n84_a_lob_n01__1_3_1_4_2_3_3_2_1 danger n84_a_lob_n01__1_3_1_4_2_3_3_3_1_1 of n84_a_lob_n01__1_3_1_4_2_3_3_3_2_1_1_1 our n84_a_lob_n01__1_3_1_4_2_3_3_3_2_2_1 meeting n84_a_lob_n01__1_4_1 . n84_a_lob_n01__1_5_1 <rquo> n84_a_lob_n01__1 IP-MAT n84_a_lob_n01__1_1 NP-SBJ n84_a_lob_n01__1->n84_a_lob_n01__1_1 n84_a_lob_n01__1_2 VBD;_Tf_ n84_a_lob_n01__1->n84_a_lob_n01__1_2 n84_a_lob_n01__1_3 CP-THT-OB1 n84_a_lob_n01__1->n84_a_lob_n01__1_3 n84_a_lob_n01__1_4 PUNC n84_a_lob_n01__1->n84_a_lob_n01__1_4 n84_a_lob_n01__1_5 PURQ n84_a_lob_n01__1->n84_a_lob_n01__1_5 n84_a_lob_n01__1_1_1 PRO n84_a_lob_n01__1_1->n84_a_lob_n01__1_1_1 n84_a_lob_n01__1_1_1->n84_a_lob_n01__1_1_1_1 n84_a_lob_n01__1_2->n84_a_lob_n01__1_2_1 n84_a_lob_n01__1_3_1 IP-SUB n84_a_lob_n01__1_3->n84_a_lob_n01__1_3_1 n84_a_lob_n01__1_3_1_1 C n84_a_lob_n01__1_3_1->n84_a_lob_n01__1_3_1_1 n84_a_lob_n01__1_3_1_2 NP-SBJ n84_a_lob_n01__1_3_1->n84_a_lob_n01__1_3_1_2 n84_a_lob_n01__1_3_1_3 MD;_cat_Vi_ n84_a_lob_n01__1_3_1->n84_a_lob_n01__1_3_1_3 n84_a_lob_n01__1_3_1_4 IP-INF-CAT n84_a_lob_n01__1_3_1->n84_a_lob_n01__1_3_1_4 n84_a_lob_n01__1_3_1_1->n84_a_lob_n01__1_3_1_1_1 n84_a_lob_n01__1_3_1_2_1 Q;_nphd_ n84_a_lob_n01__1_3_1_2->n84_a_lob_n01__1_3_1_2_1 n84_a_lob_n01__1_3_1_2_1->n84_a_lob_n01__1_3_1_2_1_1 n84_a_lob_n01__1_3_1_3->n84_a_lob_n01__1_3_1_3_1 n84_a_lob_n01__1_3_1_4_1 BE;_cat_VePASS_ n84_a_lob_n01__1_3_1_4->n84_a_lob_n01__1_3_1_4_1 n84_a_lob_n01__1_3_1_4_2 IP-PPL-CAT n84_a_lob_n01__1_3_1_4->n84_a_lob_n01__1_3_1_4_2 n84_a_lob_n01__1_3_1_4_1->n84_a_lob_n01__1_3_1_4_1_1 n84_a_lob_n01__1_3_1_4_2_1 NP-LGS n84_a_lob_n01__1_3_1_4_2->n84_a_lob_n01__1_3_1_4_2_1 n84_a_lob_n01__1_3_1_4_2_2 VVN;_Tnt_ n84_a_lob_n01__1_3_1_4_2->n84_a_lob_n01__1_3_1_4_2_2 n84_a_lob_n01__1_3_1_4_2_3 IP-INF-OB1 n84_a_lob_n01__1_3_1_4_2->n84_a_lob_n01__1_3_1_4_2_3 n84_a_lob_n01__1_3_1_4_2_1->n84_a_lob_n01__1_3_1_4_2_1_1 n84_a_lob_n01__1_3_1_4_2_2->n84_a_lob_n01__1_3_1_4_2_2_1 n84_a_lob_n01__1_3_1_4_2_3_1 TO n84_a_lob_n01__1_3_1_4_2_3->n84_a_lob_n01__1_3_1_4_2_3_1 n84_a_lob_n01__1_3_1_4_2_3_2 VB;_Tn_ n84_a_lob_n01__1_3_1_4_2_3->n84_a_lob_n01__1_3_1_4_2_3_2 n84_a_lob_n01__1_3_1_4_2_3_3 NP-OB1 n84_a_lob_n01__1_3_1_4_2_3->n84_a_lob_n01__1_3_1_4_2_3_3 n84_a_lob_n01__1_3_1_4_2_3_1->n84_a_lob_n01__1_3_1_4_2_3_1_1 n84_a_lob_n01__1_3_1_4_2_3_2->n84_a_lob_n01__1_3_1_4_2_3_2_1 n84_a_lob_n01__1_3_1_4_2_3_3_1 D n84_a_lob_n01__1_3_1_4_2_3_3->n84_a_lob_n01__1_3_1_4_2_3_3_1 n84_a_lob_n01__1_3_1_4_2_3_3_2 N n84_a_lob_n01__1_3_1_4_2_3_3->n84_a_lob_n01__1_3_1_4_2_3_3_2 n84_a_lob_n01__1_3_1_4_2_3_3_3 PP n84_a_lob_n01__1_3_1_4_2_3_3->n84_a_lob_n01__1_3_1_4_2_3_3_3 n84_a_lob_n01__1_3_1_4_2_3_3_1->n84_a_lob_n01__1_3_1_4_2_3_3_1_1 n84_a_lob_n01__1_3_1_4_2_3_3_2->n84_a_lob_n01__1_3_1_4_2_3_3_2_1 n84_a_lob_n01__1_3_1_4_2_3_3_3_1 P-ROLE n84_a_lob_n01__1_3_1_4_2_3_3_3->n84_a_lob_n01__1_3_1_4_2_3_3_3_1 n84_a_lob_n01__1_3_1_4_2_3_3_3_2 NP n84_a_lob_n01__1_3_1_4_2_3_3_3->n84_a_lob_n01__1_3_1_4_2_3_3_3_2 n84_a_lob_n01__1_3_1_4_2_3_3_3_1->n84_a_lob_n01__1_3_1_4_2_3_3_3_1_1 n84_a_lob_n01__1_3_1_4_2_3_3_3_2_1 NP-GEN n84_a_lob_n01__1_3_1_4_2_3_3_3_2->n84_a_lob_n01__1_3_1_4_2_3_3_3_2_1 n84_a_lob_n01__1_3_1_4_2_3_3_3_2_2 N n84_a_lob_n01__1_3_1_4_2_3_3_3_2->n84_a_lob_n01__1_3_1_4_2_3_3_3_2_2 n84_a_lob_n01__1_3_1_4_2_3_3_3_2_1_1 PRO;_genm_ n84_a_lob_n01__1_3_1_4_2_3_3_3_2_1->n84_a_lob_n01__1_3_1_4_2_3_3_3_2_1_1 n84_a_lob_n01__1_3_1_4_2_3_3_3_2_1_1->n84_a_lob_n01__1_3_1_4_2_3_3_3_2_1_1_1 n84_a_lob_n01__1_3_1_4_2_3_3_3_2_2->n84_a_lob_n01__1_3_1_4_2_3_3_3_2_2_1 n84_a_lob_n01__1_4->n84_a_lob_n01__1_4_1 n84_a_lob_n01__1_5->n84_a_lob_n01__1_5_1 
( (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))