TSPC 34_a_lob

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

( (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 34_a_lob_g01))

arc(r_0034_0004__had,r_0034_0001__Furthermore,nim).
arc(r_0034_0004__had,r_0034_0005__ceased,scope).
arc(r_0034_0005__ceased,r_0034_0007__provide,scope).
arc(r_0034_0007__provide,r_0034_0003__it,arg0).
arc(r_0034_0007__provide,r_0034_0009__revenue,arg1).
arc(r_0034_0009__revenue,r_0034_0008__sufficient,attrib).
arc(r_0034_0009__revenue,r_0034_0011__the_r_0034_0012__needs,r_0034_0010__for).
arc(r_0034_0011__the_r_0034_0012__needs,r_0034_0015__war,r_0034_0013__of).
arc(r_0034_0015__war,r_0034_0014__continental,attrib).

fof(formula,axiom,
    ? [R_0034_0001__FURTHERMORE,R_0034_0003__IT,R_0034_0008__SUFFICIENT,R_0034_0014__CONTINENTAL,R_0034_0015__WAR,R_0034_0011__THE_R_0034_0012__NEEDS,R_0034_0009__REVENUE,R_0034_0004__HAD_R_0034_0005__CEASED_R_0034_0007__PROVIDE] :
      ( r_0034_0001__Furthermore(R_0034_0001__FURTHERMORE)
      & r_0034_0003__it(R_0034_0003__IT)
      & r_0034_0008__sufficient(R_0034_0008__SUFFICIENT)
      & r_0034_0014__continental(R_0034_0014__CONTINENTAL)
      & r_0034_0004__had_r_0034_0005__ceased_r_0034_0007__provide(R_0034_0004__HAD_R_0034_0005__CEASED_R_0034_0007__PROVIDE)
      & has_arg1(R_0034_0004__HAD_R_0034_0005__CEASED_R_0034_0007__PROVIDE,R_0034_0009__REVENUE)
      & r_0034_0009__revenue(R_0034_0009__REVENUE)
      & has_r_0034_0010__for(R_0034_0009__REVENUE,R_0034_0011__THE_R_0034_0012__NEEDS)
      & r_0034_0011__the_r_0034_0012__needs(R_0034_0011__THE_R_0034_0012__NEEDS)
      & has_r_0034_0013__of(R_0034_0011__THE_R_0034_0012__NEEDS,R_0034_0015__WAR)
      & r_0034_0015__war(R_0034_0015__WAR)
      & has_attrib(R_0034_0015__WAR,R_0034_0014__CONTINENTAL)
      & has_attrib(R_0034_0009__REVENUE,R_0034_0008__SUFFICIENT)
      & has_arg0(R_0034_0004__HAD_R_0034_0005__CEASED_R_0034_0007__PROVIDE,R_0034_0003__IT)
      & has_nim(R_0034_0004__HAD_R_0034_0005__CEASED_R_0034_0007__PROVIDE,R_0034_0001__FURTHERMORE) ) ).