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_0015__war war r_0035_0014__continental continental r_0035_0015__war->r_0035_0014__continental [attrib] r_0035_0011__the_r_0035_0012__needs the needs r_0035_0011__the_r_0035_0012__needs->r_0035_0015__war of r_0035_0009__revenue revenue r_0035_0009__revenue->r_0035_0011__the_r_0035_0012__needs for r_0035_0008__sufficient sufficient r_0035_0009__revenue->r_0035_0008__sufficient [attrib] r_0035_0004__had_r_0035_0005__ceased_r_0035_0006__to_r_0035_0007__provide had ceased to provide r_0035_0004__had_r_0035_0005__ceased_r_0035_0006__to_r_0035_0007__provide->r_0035_0009__revenue [arg1] 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_0001__Furthermore Furthermore r_0035_0004__had_r_0035_0005__ceased_r_0035_0006__to_r_0035_0007__provide->r_0035_0001__Furthermore [nim] 
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__1_1_1_1 Furthermore n35_a_lob_g01__1_2_1 , n35_a_lob_g01__1_3_1_1 it n35_a_lob_g01__1_4_1 had n35_a_lob_g01__1_5_1_1 ceased n35_a_lob_g01__1_5_2_1_1 to n35_a_lob_g01__1_5_2_2_1 provide n35_a_lob_g01__1_5_2_3_1_1_1 sufficient n35_a_lob_g01__1_5_2_3_2_1 revenue n35_a_lob_g01__1_5_2_3_3_1_1 for n35_a_lob_g01__1_5_2_3_3_2_1_1 the n35_a_lob_g01__1_5_2_3_3_2_2_1 needs n35_a_lob_g01__1_5_2_3_3_2_3_1_1 of n35_a_lob_g01__1_5_2_3_3_2_3_2_1_1_1 continental n35_a_lob_g01__1_5_2_3_3_2_3_2_2_1 war n35_a_lob_g01__1_6_1 . n35_a_lob_g01__1 IP-MAT n35_a_lob_g01__1_1 ADVP-NIM n35_a_lob_g01__1->n35_a_lob_g01__1_1 n35_a_lob_g01__1_2 PUNC n35_a_lob_g01__1->n35_a_lob_g01__1_2 n35_a_lob_g01__1_3 NP-SBJ n35_a_lob_g01__1->n35_a_lob_g01__1_3 n35_a_lob_g01__1_4 HVD;_cat_Ve_ n35_a_lob_g01__1->n35_a_lob_g01__1_4 n35_a_lob_g01__1_5 IP-PPL-CAT n35_a_lob_g01__1->n35_a_lob_g01__1_5 n35_a_lob_g01__1_6 PUNC n35_a_lob_g01__1->n35_a_lob_g01__1_6 n35_a_lob_g01__1_1_1 ADV n35_a_lob_g01__1_1->n35_a_lob_g01__1_1_1 n35_a_lob_g01__1_1_1->n35_a_lob_g01__1_1_1_1 n35_a_lob_g01__1_2->n35_a_lob_g01__1_2_1 n35_a_lob_g01__1_3_1 PRO n35_a_lob_g01__1_3->n35_a_lob_g01__1_3_1 n35_a_lob_g01__1_3_1->n35_a_lob_g01__1_3_1_1 n35_a_lob_g01__1_4->n35_a_lob_g01__1_4_1 n35_a_lob_g01__1_5_1 VVN;_cat_Vt_ n35_a_lob_g01__1_5->n35_a_lob_g01__1_5_1 n35_a_lob_g01__1_5_2 IP-INF-CAT n35_a_lob_g01__1_5->n35_a_lob_g01__1_5_2 n35_a_lob_g01__1_5_1->n35_a_lob_g01__1_5_1_1 n35_a_lob_g01__1_5_2_1 TO n35_a_lob_g01__1_5_2->n35_a_lob_g01__1_5_2_1 n35_a_lob_g01__1_5_2_2 VB;__ n35_a_lob_g01__1_5_2->n35_a_lob_g01__1_5_2_2 n35_a_lob_g01__1_5_2_3 NP-OB1 n35_a_lob_g01__1_5_2->n35_a_lob_g01__1_5_2_3 n35_a_lob_g01__1_5_2_1->n35_a_lob_g01__1_5_2_1_1 n35_a_lob_g01__1_5_2_2->n35_a_lob_g01__1_5_2_2_1 n35_a_lob_g01__1_5_2_3_1 ADJP n35_a_lob_g01__1_5_2_3->n35_a_lob_g01__1_5_2_3_1 n35_a_lob_g01__1_5_2_3_2 N n35_a_lob_g01__1_5_2_3->n35_a_lob_g01__1_5_2_3_2 n35_a_lob_g01__1_5_2_3_3 PP n35_a_lob_g01__1_5_2_3->n35_a_lob_g01__1_5_2_3_3 n35_a_lob_g01__1_5_2_3_1_1 ADJ n35_a_lob_g01__1_5_2_3_1->n35_a_lob_g01__1_5_2_3_1_1 n35_a_lob_g01__1_5_2_3_1_1->n35_a_lob_g01__1_5_2_3_1_1_1 n35_a_lob_g01__1_5_2_3_2->n35_a_lob_g01__1_5_2_3_2_1 n35_a_lob_g01__1_5_2_3_3_1 P-ROLE n35_a_lob_g01__1_5_2_3_3->n35_a_lob_g01__1_5_2_3_3_1 n35_a_lob_g01__1_5_2_3_3_2 NP n35_a_lob_g01__1_5_2_3_3->n35_a_lob_g01__1_5_2_3_3_2 n35_a_lob_g01__1_5_2_3_3_1->n35_a_lob_g01__1_5_2_3_3_1_1 n35_a_lob_g01__1_5_2_3_3_2_1 D n35_a_lob_g01__1_5_2_3_3_2->n35_a_lob_g01__1_5_2_3_3_2_1 n35_a_lob_g01__1_5_2_3_3_2_2 NS n35_a_lob_g01__1_5_2_3_3_2->n35_a_lob_g01__1_5_2_3_3_2_2 n35_a_lob_g01__1_5_2_3_3_2_3 PP n35_a_lob_g01__1_5_2_3_3_2->n35_a_lob_g01__1_5_2_3_3_2_3 n35_a_lob_g01__1_5_2_3_3_2_1->n35_a_lob_g01__1_5_2_3_3_2_1_1 n35_a_lob_g01__1_5_2_3_3_2_2->n35_a_lob_g01__1_5_2_3_3_2_2_1 n35_a_lob_g01__1_5_2_3_3_2_3_1 P-ROLE n35_a_lob_g01__1_5_2_3_3_2_3->n35_a_lob_g01__1_5_2_3_3_2_3_1 n35_a_lob_g01__1_5_2_3_3_2_3_2 NP n35_a_lob_g01__1_5_2_3_3_2_3->n35_a_lob_g01__1_5_2_3_3_2_3_2 n35_a_lob_g01__1_5_2_3_3_2_3_1->n35_a_lob_g01__1_5_2_3_3_2_3_1_1 n35_a_lob_g01__1_5_2_3_3_2_3_2_1 ADJP n35_a_lob_g01__1_5_2_3_3_2_3_2->n35_a_lob_g01__1_5_2_3_3_2_3_2_1 n35_a_lob_g01__1_5_2_3_3_2_3_2_2 N n35_a_lob_g01__1_5_2_3_3_2_3_2->n35_a_lob_g01__1_5_2_3_3_2_3_2_2 n35_a_lob_g01__1_5_2_3_3_2_3_2_1_1 ADJ n35_a_lob_g01__1_5_2_3_3_2_3_2_1->n35_a_lob_g01__1_5_2_3_3_2_3_2_1_1 n35_a_lob_g01__1_5_2_3_3_2_3_2_1_1->n35_a_lob_g01__1_5_2_3_3_2_3_2_1_1_1 n35_a_lob_g01__1_5_2_3_3_2_3_2_2->n35_a_lob_g01__1_5_2_3_3_2_3_2_2_1 n35_a_lob_g01__1_6->n35_a_lob_g01__1_6_1 
( (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))