TSPC 35_a_lob

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))