Context                Previous, Next                Top


35_a_lob_g01
Furthermore, it had ceased to provide sufficient revenue for the needs of continental war.

%3 r_0035_0004__had had r_0035_0001__Furthermore Furthermore r_0035_0004__had->r_0035_0001__Furthermore [nim] r_0035_0005__ceased ceased r_0035_0004__had->r_0035_0005__ceased [scope] r_0035_0006__to_r_0035_0007__provide to provide r_0035_0005__ceased->r_0035_0006__to_r_0035_0007__provide [scope] r_0035_0003__it it r_0035_0006__to_r_0035_0007__provide->r_0035_0003__it [arg0] r_0035_0009__revenue revenue r_0035_0006__to_r_0035_0007__provide->r_0035_0009__revenue [arg1] r_0035_0008__sufficient sufficient r_0035_0009__revenue->r_0035_0008__sufficient [attrib] r_0035_0011__the_r_0035_0012__needs the needs r_0035_0009__revenue->r_0035_0011__the_r_0035_0012__needs for r_0035_0015__war war r_0035_0011__the_r_0035_0012__needs->r_0035_0015__war of r_0035_0014__continental continental r_0035_0015__war->r_0035_0014__continental [attrib] 
arc(r_0035_0004__had, r_0035_0001__Furthermore, nim2).
arc(r_0035_0004__had, r_0035_0005__ceased, scope).
arc(r_0035_0005__ceased, r_0035_0006__to_r_0035_0007__provide, scope).
arc(r_0035_0006__to_r_0035_0007__provide, r_0035_0003__it, arg0).
arc(r_0035_0006__to_r_0035_0007__provide, r_0035_0009__revenue, arg1).
arc(r_0035_0009__revenue, r_0035_0008__sufficient, attrib21).
arc(r_0035_0009__revenue, r_0035_0011__the_r_0035_0012__needs, r_0035_0010__for).
arc(r_0035_0011__the_r_0035_0012__needs, r_0035_0015__war, r_0035_0013__of).
arc(r_0035_0015__war, r_0035_0014__continental, attrib38).


%3 r_0035_0004__had_r_0035_0005__ceased_r_0035_0006__to_r_0035_0007__provide had ceased to provide r_0035_0001__Furthermore Furthermore r_0035_0004__had_r_0035_0005__ceased_r_0035_0006__to_r_0035_0007__provide->r_0035_0001__Furthermore [nim] r_0035_0003__it it r_0035_0004__had_r_0035_0005__ceased_r_0035_0006__to_r_0035_0007__provide->r_0035_0003__it [arg0] r_0035_0009__revenue revenue r_0035_0004__had_r_0035_0005__ceased_r_0035_0006__to_r_0035_0007__provide->r_0035_0009__revenue [arg1] r_0035_0008__sufficient sufficient r_0035_0009__revenue->r_0035_0008__sufficient [attrib] r_0035_0011__the_r_0035_0012__needs the needs r_0035_0009__revenue->r_0035_0011__the_r_0035_0012__needs for r_0035_0015__war war r_0035_0011__the_r_0035_0012__needs->r_0035_0015__war of r_0035_0014__continental continental r_0035_0015__war->r_0035_0014__continental [attrib] 
fof(formula,axiom,
    ? [R_35_4_HAD_CEASED_TO_PROVIDE,R_35_3_IT,R_35_9_REVENUE,R_35_8_SUFFICIENT,R_35_11_THE_NEEDS,R_35_15_WAR,R_35_14_CONTINENTAL,R_35_1_FURTHERMORE] :
      ( it(R_35_3_IT)
      & sufficient(R_35_8_SUFFICIENT)
      & continental(R_35_14_CONTINENTAL)
      & furthermore(R_35_1_FURTHERMORE)
      & had_ceased_to_provide(R_35_4_HAD_CEASED_TO_PROVIDE,R_35_3_IT,R_35_9_REVENUE)
      & revenue(R_35_9_REVENUE)
      & attrib21(R_35_9_REVENUE,R_35_8_SUFFICIENT)
      & for(R_35_9_REVENUE,R_35_11_THE_NEEDS)
      & the_needs(R_35_11_THE_NEEDS)
      & of(R_35_11_THE_NEEDS,R_35_15_WAR)
      & war(R_35_15_WAR)
      & attrib38(R_35_15_WAR,R_35_14_CONTINENTAL)
      & nim2(R_35_4_HAD_CEASED_TO_PROVIDE,R_35_1_FURTHERMORE) ) ).


n35_a_lob_g01 n35_a_lob_g01_4 Furthermore n35_a_lob_g01_6 , n35_a_lob_g01_9 it n35_a_lob_g01_11 had n35_a_lob_g01_14 ceased n35_a_lob_g01_17 to n35_a_lob_g01_19 provide n35_a_lob_g01_23 sufficient n35_a_lob_g01_25 revenue n35_a_lob_g01_28 for n35_a_lob_g01_31 the n35_a_lob_g01_33 needs n35_a_lob_g01_36 of n35_a_lob_g01_40 continental n35_a_lob_g01_42 war n35_a_lob_g01_44 . n35_a_lob_g01_1 IP-MAT n35_a_lob_g01_2 ADVP-NIM n35_a_lob_g01_1->n35_a_lob_g01_2 n35_a_lob_g01_5 PUNC n35_a_lob_g01_1->n35_a_lob_g01_5 n35_a_lob_g01_7 NP-SBJ n35_a_lob_g01_1->n35_a_lob_g01_7 n35_a_lob_g01_10 HVD;_cat_Ve_ n35_a_lob_g01_1->n35_a_lob_g01_10 n35_a_lob_g01_12 IP-PPL-CAT n35_a_lob_g01_1->n35_a_lob_g01_12 n35_a_lob_g01_43 PUNC n35_a_lob_g01_1->n35_a_lob_g01_43 n35_a_lob_g01_3 ADV n35_a_lob_g01_2->n35_a_lob_g01_3 n35_a_lob_g01_3->n35_a_lob_g01_4 n35_a_lob_g01_5->n35_a_lob_g01_6 n35_a_lob_g01_8 PRO n35_a_lob_g01_7->n35_a_lob_g01_8 n35_a_lob_g01_8->n35_a_lob_g01_9 n35_a_lob_g01_10->n35_a_lob_g01_11 n35_a_lob_g01_13 VVN;_cat_Vt_ n35_a_lob_g01_12->n35_a_lob_g01_13 n35_a_lob_g01_15 IP-INF-CAT n35_a_lob_g01_12->n35_a_lob_g01_15 n35_a_lob_g01_13->n35_a_lob_g01_14 n35_a_lob_g01_16 TO n35_a_lob_g01_15->n35_a_lob_g01_16 n35_a_lob_g01_18 VB;__ n35_a_lob_g01_15->n35_a_lob_g01_18 n35_a_lob_g01_20 NP-OB1 n35_a_lob_g01_15->n35_a_lob_g01_20 n35_a_lob_g01_16->n35_a_lob_g01_17 n35_a_lob_g01_18->n35_a_lob_g01_19 n35_a_lob_g01_21 ADJP n35_a_lob_g01_20->n35_a_lob_g01_21 n35_a_lob_g01_24 N n35_a_lob_g01_20->n35_a_lob_g01_24 n35_a_lob_g01_26 PP n35_a_lob_g01_20->n35_a_lob_g01_26 n35_a_lob_g01_22 ADJ n35_a_lob_g01_21->n35_a_lob_g01_22 n35_a_lob_g01_22->n35_a_lob_g01_23 n35_a_lob_g01_24->n35_a_lob_g01_25 n35_a_lob_g01_27 P-ROLE n35_a_lob_g01_26->n35_a_lob_g01_27 n35_a_lob_g01_29 NP n35_a_lob_g01_26->n35_a_lob_g01_29 n35_a_lob_g01_27->n35_a_lob_g01_28 n35_a_lob_g01_30 D n35_a_lob_g01_29->n35_a_lob_g01_30 n35_a_lob_g01_32 NS n35_a_lob_g01_29->n35_a_lob_g01_32 n35_a_lob_g01_34 PP n35_a_lob_g01_29->n35_a_lob_g01_34 n35_a_lob_g01_30->n35_a_lob_g01_31 n35_a_lob_g01_32->n35_a_lob_g01_33 n35_a_lob_g01_35 P-ROLE n35_a_lob_g01_34->n35_a_lob_g01_35 n35_a_lob_g01_37 NP n35_a_lob_g01_34->n35_a_lob_g01_37 n35_a_lob_g01_35->n35_a_lob_g01_36 n35_a_lob_g01_38 ADJP n35_a_lob_g01_37->n35_a_lob_g01_38 n35_a_lob_g01_41 N n35_a_lob_g01_37->n35_a_lob_g01_41 n35_a_lob_g01_39 ADJ n35_a_lob_g01_38->n35_a_lob_g01_39 n35_a_lob_g01_39->n35_a_lob_g01_40 n35_a_lob_g01_41->n35_a_lob_g01_42 n35_a_lob_g01_43->n35_a_lob_g01_44 
( (IP-MAT (ADVP-NIM (ADV Furthermore;{furthermore}))
          (PUNC ,)
          (NP-SBJ (PRO it;{it}))
          (HVD;_cat_Ve_ had;{have})
          (IP-PPL-CAT (VVN;_cat_Vt_ ceased;{cease})
                      (IP-INF-CAT (TO to;{to})
                                  (VB;__ provide;{provide})
                                  (NP-OB1 (ADJP (ADJ sufficient;{sufficient}))
                                          (N revenue;{revenue})
                                          (PP (P-ROLE for;{for})
                                              (NP (D the;{the})
                                                  (NS needs;{need})
                                                  (PP (P-ROLE of;{of})
                                                      (NP (ADJP (ADJ continental;{continental}))
                                                          (N war;{war}))))))))
          (PUNC .))
  (ID 35_a_lob_g01))