35_a_lob_g01
Furthermore, it had ceased to provide sufficient revenue for the needs of continental war.
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).
fof(formula,axiom,
? [R_0035_0001__FURTHERMORE,R_0035_0003__IT,R_0035_0008__SUFFICIENT,R_0035_0014__CONTINENTAL,R_0035_0015__WAR,R_0035_0011__THE_R_0035_0012__NEEDS,R_0035_0009__REVENUE,R_0035_0004__HAD_R_0035_0005__CEASED_R_0035_0006__TO_R_0035_0007__PROVIDE] :
( r_0035_0001__Furthermore(R_0035_0001__FURTHERMORE)
& r_0035_0003__it(R_0035_0003__IT)
& r_0035_0008__sufficient(R_0035_0008__SUFFICIENT)
& r_0035_0014__continental(R_0035_0014__CONTINENTAL)
& r_0035_0004__had_r_0035_0005__ceased_r_0035_0006__to_r_0035_0007__provide(R_0035_0004__HAD_R_0035_0005__CEASED_R_0035_0006__TO_R_0035_0007__PROVIDE)
& has_arg1(R_0035_0004__HAD_R_0035_0005__CEASED_R_0035_0006__TO_R_0035_0007__PROVIDE,R_0035_0009__REVENUE)
& r_0035_0009__revenue(R_0035_0009__REVENUE)
& has_r_0035_0010__for(R_0035_0009__REVENUE,R_0035_0011__THE_R_0035_0012__NEEDS)
& r_0035_0011__the_r_0035_0012__needs(R_0035_0011__THE_R_0035_0012__NEEDS)
& has_r_0035_0013__of(R_0035_0011__THE_R_0035_0012__NEEDS,R_0035_0015__WAR)
& r_0035_0015__war(R_0035_0015__WAR)
& has_attrib38(R_0035_0015__WAR,R_0035_0014__CONTINENTAL)
& has_attrib21(R_0035_0009__REVENUE,R_0035_0008__SUFFICIENT)
& has_arg0(R_0035_0004__HAD_R_0035_0005__CEASED_R_0035_0006__TO_R_0035_0007__PROVIDE,R_0035_0003__IT)
& has_nim2(R_0035_0004__HAD_R_0035_0005__CEASED_R_0035_0006__TO_R_0035_0007__PROVIDE,R_0035_0001__FURTHERMORE) ) ).
( (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))