54_a_history_of_greece
Although the islands saw little action, as the war went on they could see that Athens was slowly losing its power.

%3 r_0054_0001__Although Although r_0054_0004__saw saw r_0054_0001__Although->r_0054_0004__saw [restriction] r_0054_0008__as as r_0054_0001__Although->r_0054_0008__as [scope] r_0054_0002__the_r_0054_0003__islands the islands r_0054_0004__saw->r_0054_0002__the_r_0054_0003__islands [arg0] r_0054_0005__little_r_0054_0006__action little action r_0054_0004__saw->r_0054_0005__little_r_0054_0006__action [arg1] r_0054_0011__went_r_0054_0012__on went on r_0054_0008__as->r_0054_0011__went_r_0054_0012__on [restriction] r_0054_0014__could could r_0054_0008__as->r_0054_0014__could [scope] r_0054_0009__the_r_0054_0010__war the war r_0054_0011__went_r_0054_0012__on->r_0054_0009__the_r_0054_0010__war [arg0] r_0054_0015__see see r_0054_0014__could->r_0054_0015__see [scope] r_0054_0015__see->r_0054_0002__the_r_0054_0003__islands [arg0] r_0054_0016__that_r_0054_0018__was that was r_0054_0015__see->r_0054_0016__that_r_0054_0018__was [arg1] r_0054_0020__losing losing r_0054_0016__that_r_0054_0018__was->r_0054_0020__losing [scope] r_0054_0017__Athens Athens r_0054_0020__losing->r_0054_0017__Athens [arg0] r_0054_0019__slowly slowly r_0054_0020__losing->r_0054_0019__slowly [nim] r_0054_0022__power power r_0054_0020__losing->r_0054_0022__power [arg1] r_0054_0022__power->r_0054_0017__Athens [gen]
arc(r_0054_0001__Although, r_0054_0004__saw, restriction).
arc(r_0054_0001__Although, r_0054_0008__as, scope).
arc(r_0054_0004__saw, r_0054_0002__the_r_0054_0003__islands, arg0).
arc(r_0054_0004__saw, r_0054_0005__little_r_0054_0006__action, arg1).
arc(r_0054_0008__as, r_0054_0011__went_r_0054_0012__on, restriction).
arc(r_0054_0008__as, r_0054_0014__could, scope).
arc(r_0054_0011__went_r_0054_0012__on, r_0054_0009__the_r_0054_0010__war, arg0).
arc(r_0054_0014__could, r_0054_0015__see, scope).
arc(r_0054_0015__see, r_0054_0002__the_r_0054_0003__islands, arg0).
arc(r_0054_0015__see, r_0054_0016__that_r_0054_0018__was, arg1).
arc(r_0054_0016__that_r_0054_0018__was, r_0054_0020__losing, scope).
arc(r_0054_0020__losing, r_0054_0017__Athens, arg0).
arc(r_0054_0020__losing, r_0054_0019__slowly, nim51).
arc(r_0054_0020__losing, r_0054_0022__power, arg1).
arc(r_0054_0022__power, r_0054_0017__Athens, gen).



%3 r_0054_0022__power power r_0054_0017__Athens Athens r_0054_0022__power->r_0054_0017__Athens [gen] r_0054_0016__that_r_0054_0018__was_r_0054_0020__losing that was losing r_0054_0016__that_r_0054_0018__was_r_0054_0020__losing->r_0054_0022__power [arg1] r_0054_0016__that_r_0054_0018__was_r_0054_0020__losing->r_0054_0017__Athens [arg0] r_0054_0019__slowly slowly r_0054_0016__that_r_0054_0018__was_r_0054_0020__losing->r_0054_0019__slowly [nim] r_0054_0014__could_r_0054_0015__see could see r_0054_0014__could_r_0054_0015__see->r_0054_0016__that_r_0054_0018__was_r_0054_0020__losing [arg1] r_0054_0002__the_r_0054_0003__islands the islands r_0054_0014__could_r_0054_0015__see->r_0054_0002__the_r_0054_0003__islands [arg0] r_0054_0011__went_r_0054_0012__on went on r_0054_0009__the_r_0054_0010__war the war r_0054_0011__went_r_0054_0012__on->r_0054_0009__the_r_0054_0010__war [arg0] r_0054_0008__as as r_0054_0008__as->r_0054_0014__could_r_0054_0015__see [conj2] r_0054_0008__as->r_0054_0011__went_r_0054_0012__on [conj1] r_0054_0004__saw saw r_0054_0004__saw->r_0054_0002__the_r_0054_0003__islands [arg0] r_0054_0005__little_r_0054_0006__action little action r_0054_0004__saw->r_0054_0005__little_r_0054_0006__action [arg1] r_0054_0001__Although Although r_0054_0001__Although->r_0054_0008__as [conj2] r_0054_0001__Although->r_0054_0004__saw [conj1]
fof(formula,axiom,
    ? [R_54_1_ALTHOUGH,R_54_4_SAW,R_54_5_LITTLE_ACTION,R_54_8_AS,R_54_11_WENT_ON,R_54_9_THE_WAR,R_54_14_COULD_SEE,R_54_2_THE_ISLANDS,R_54_16_THAT_WAS_LOSING,R_54_22_POWER,R_54_17_ATHENS,R_54_19_SLOWLY] :
      ( little_action(R_54_5_LITTLE_ACTION)
      & the_war(R_54_9_THE_WAR)
      & the_islands(R_54_2_THE_ISLANDS)
      & athens(R_54_17_ATHENS)
      & slowly(R_54_19_SLOWLY)
      & although(R_54_1_ALTHOUGH)
      & conj1(R_54_1_ALTHOUGH,R_54_4_SAW)
      & saw(R_54_4_SAW,R_54_2_THE_ISLANDS,R_54_5_LITTLE_ACTION)
      & conj2(R_54_1_ALTHOUGH,R_54_8_AS)
      & as(R_54_8_AS)
      & conj1(R_54_8_AS,R_54_11_WENT_ON)
      & went_on(R_54_11_WENT_ON,R_54_9_THE_WAR)
      & conj2(R_54_8_AS,R_54_14_COULD_SEE)
      & could_see(R_54_14_COULD_SEE,R_54_2_THE_ISLANDS,R_54_16_THAT_WAS_LOSING)
      & that_was_losing(R_54_16_THAT_WAS_LOSING,R_54_17_ATHENS,R_54_22_POWER)
      & power(R_54_22_POWER)
      & gen(R_54_22_POWER,R_54_17_ATHENS)
      & nim51(R_54_16_THAT_WAS_LOSING,R_54_19_SLOWLY) ) ).



n54_a_history_of_greece n54_a_history_of_greece__1_1_1_1 Although n54_a_history_of_greece__1_1_2_1_1_1 the n54_a_history_of_greece__1_1_2_1_2_1 islands n54_a_history_of_greece__1_1_2_2_1 saw n54_a_history_of_greece__1_1_2_3_1_1 little n54_a_history_of_greece__1_1_2_3_2_1 action n54_a_history_of_greece__1_2_1 , n54_a_history_of_greece__1_3_1_1 as n54_a_history_of_greece__1_3_2_1_1_1 the n54_a_history_of_greece__1_3_2_1_2_1 war n54_a_history_of_greece__1_3_2_2_1 went n54_a_history_of_greece__1_3_2_3_1 on n54_a_history_of_greece__1_4_1_1 they n54_a_history_of_greece__1_5_1 could n54_a_history_of_greece__1_6_1_1 see n54_a_history_of_greece__1_6_2_1_1_1 that n54_a_history_of_greece__1_6_2_1_2_1_1 Athens n54_a_history_of_greece__1_6_2_1_3_1 was n54_a_history_of_greece__1_6_2_1_4_1_1_1 slowly n54_a_history_of_greece__1_6_2_1_4_2_1 losing n54_a_history_of_greece__1_6_2_1_4_3_1_1_1 its n54_a_history_of_greece__1_6_2_1_4_3_2_1 power n54_a_history_of_greece__1_7_1 . n54_a_history_of_greece__1 IP-MAT n54_a_history_of_greece__1_1 PP-SCON n54_a_history_of_greece__1->n54_a_history_of_greece__1_1 n54_a_history_of_greece__1_2 PUNC n54_a_history_of_greece__1->n54_a_history_of_greece__1_2 n54_a_history_of_greece__1_3 PP-SCON n54_a_history_of_greece__1->n54_a_history_of_greece__1_3 n54_a_history_of_greece__1_4 NP-SBJ n54_a_history_of_greece__1->n54_a_history_of_greece__1_4 n54_a_history_of_greece__1_5 MD;_cat_Vi_ n54_a_history_of_greece__1->n54_a_history_of_greece__1_5 n54_a_history_of_greece__1_6 IP-INF-CAT n54_a_history_of_greece__1->n54_a_history_of_greece__1_6 n54_a_history_of_greece__1_7 PUNC n54_a_history_of_greece__1->n54_a_history_of_greece__1_7 n54_a_history_of_greece__1_1_1 P-CONN n54_a_history_of_greece__1_1->n54_a_history_of_greece__1_1_1 n54_a_history_of_greece__1_1_2 IP-ADV n54_a_history_of_greece__1_1->n54_a_history_of_greece__1_1_2 n54_a_history_of_greece__1_1_1->n54_a_history_of_greece__1_1_1_1 n54_a_history_of_greece__1_1_2_1 NP-SBJ n54_a_history_of_greece__1_1_2->n54_a_history_of_greece__1_1_2_1 n54_a_history_of_greece__1_1_2_2 VBD;_Tn_ n54_a_history_of_greece__1_1_2->n54_a_history_of_greece__1_1_2_2 n54_a_history_of_greece__1_1_2_3 NP-OB1 n54_a_history_of_greece__1_1_2->n54_a_history_of_greece__1_1_2_3 n54_a_history_of_greece__1_1_2_1_1 D n54_a_history_of_greece__1_1_2_1->n54_a_history_of_greece__1_1_2_1_1 n54_a_history_of_greece__1_1_2_1_2 NS n54_a_history_of_greece__1_1_2_1->n54_a_history_of_greece__1_1_2_1_2 n54_a_history_of_greece__1_1_2_1_1->n54_a_history_of_greece__1_1_2_1_1_1 n54_a_history_of_greece__1_1_2_1_2->n54_a_history_of_greece__1_1_2_1_2_1 n54_a_history_of_greece__1_1_2_2->n54_a_history_of_greece__1_1_2_2_1 n54_a_history_of_greece__1_1_2_3_1 D n54_a_history_of_greece__1_1_2_3->n54_a_history_of_greece__1_1_2_3_1 n54_a_history_of_greece__1_1_2_3_2 N n54_a_history_of_greece__1_1_2_3->n54_a_history_of_greece__1_1_2_3_2 n54_a_history_of_greece__1_1_2_3_1->n54_a_history_of_greece__1_1_2_3_1_1 n54_a_history_of_greece__1_1_2_3_2->n54_a_history_of_greece__1_1_2_3_2_1 n54_a_history_of_greece__1_2->n54_a_history_of_greece__1_2_1 n54_a_history_of_greece__1_3_1 P-CONN n54_a_history_of_greece__1_3->n54_a_history_of_greece__1_3_1 n54_a_history_of_greece__1_3_2 IP-ADV n54_a_history_of_greece__1_3->n54_a_history_of_greece__1_3_2 n54_a_history_of_greece__1_3_1->n54_a_history_of_greece__1_3_1_1 n54_a_history_of_greece__1_3_2_1 NP-SBJ n54_a_history_of_greece__1_3_2->n54_a_history_of_greece__1_3_2_1 n54_a_history_of_greece__1_3_2_2 VBD;_phr_Vp_ n54_a_history_of_greece__1_3_2->n54_a_history_of_greece__1_3_2_2 n54_a_history_of_greece__1_3_2_3 RP n54_a_history_of_greece__1_3_2->n54_a_history_of_greece__1_3_2_3 n54_a_history_of_greece__1_3_2_1_1 D n54_a_history_of_greece__1_3_2_1->n54_a_history_of_greece__1_3_2_1_1 n54_a_history_of_greece__1_3_2_1_2 N n54_a_history_of_greece__1_3_2_1->n54_a_history_of_greece__1_3_2_1_2 n54_a_history_of_greece__1_3_2_1_1->n54_a_history_of_greece__1_3_2_1_1_1 n54_a_history_of_greece__1_3_2_1_2->n54_a_history_of_greece__1_3_2_1_2_1 n54_a_history_of_greece__1_3_2_2->n54_a_history_of_greece__1_3_2_2_1 n54_a_history_of_greece__1_3_2_3->n54_a_history_of_greece__1_3_2_3_1 n54_a_history_of_greece__1_4_1 PRO n54_a_history_of_greece__1_4->n54_a_history_of_greece__1_4_1 n54_a_history_of_greece__1_4_1->n54_a_history_of_greece__1_4_1_1 n54_a_history_of_greece__1_5->n54_a_history_of_greece__1_5_1 n54_a_history_of_greece__1_6_1 VB;_Tf_ n54_a_history_of_greece__1_6->n54_a_history_of_greece__1_6_1 n54_a_history_of_greece__1_6_2 CP-THT-OB1 n54_a_history_of_greece__1_6->n54_a_history_of_greece__1_6_2 n54_a_history_of_greece__1_6_1->n54_a_history_of_greece__1_6_1_1 n54_a_history_of_greece__1_6_2_1 IP-SUB n54_a_history_of_greece__1_6_2->n54_a_history_of_greece__1_6_2_1 n54_a_history_of_greece__1_6_2_1_1 C n54_a_history_of_greece__1_6_2_1->n54_a_history_of_greece__1_6_2_1_1 n54_a_history_of_greece__1_6_2_1_2 NP-SBJ n54_a_history_of_greece__1_6_2_1->n54_a_history_of_greece__1_6_2_1_2 n54_a_history_of_greece__1_6_2_1_3 BED;_cat_Vg_ n54_a_history_of_greece__1_6_2_1->n54_a_history_of_greece__1_6_2_1_3 n54_a_history_of_greece__1_6_2_1_4 IP-PPL-CAT n54_a_history_of_greece__1_6_2_1->n54_a_history_of_greece__1_6_2_1_4 n54_a_history_of_greece__1_6_2_1_1->n54_a_history_of_greece__1_6_2_1_1_1 n54_a_history_of_greece__1_6_2_1_2_1 NPR n54_a_history_of_greece__1_6_2_1_2->n54_a_history_of_greece__1_6_2_1_2_1 n54_a_history_of_greece__1_6_2_1_2_1->n54_a_history_of_greece__1_6_2_1_2_1_1 n54_a_history_of_greece__1_6_2_1_3->n54_a_history_of_greece__1_6_2_1_3_1 n54_a_history_of_greece__1_6_2_1_4_1 ADVP-NIM n54_a_history_of_greece__1_6_2_1_4->n54_a_history_of_greece__1_6_2_1_4_1 n54_a_history_of_greece__1_6_2_1_4_2 VAG;_Tn_ n54_a_history_of_greece__1_6_2_1_4->n54_a_history_of_greece__1_6_2_1_4_2 n54_a_history_of_greece__1_6_2_1_4_3 NP-OB1 n54_a_history_of_greece__1_6_2_1_4->n54_a_history_of_greece__1_6_2_1_4_3 n54_a_history_of_greece__1_6_2_1_4_1_1 ADV n54_a_history_of_greece__1_6_2_1_4_1->n54_a_history_of_greece__1_6_2_1_4_1_1 n54_a_history_of_greece__1_6_2_1_4_1_1->n54_a_history_of_greece__1_6_2_1_4_1_1_1 n54_a_history_of_greece__1_6_2_1_4_2->n54_a_history_of_greece__1_6_2_1_4_2_1 n54_a_history_of_greece__1_6_2_1_4_3_1 NP-GEN n54_a_history_of_greece__1_6_2_1_4_3->n54_a_history_of_greece__1_6_2_1_4_3_1 n54_a_history_of_greece__1_6_2_1_4_3_2 N n54_a_history_of_greece__1_6_2_1_4_3->n54_a_history_of_greece__1_6_2_1_4_3_2 n54_a_history_of_greece__1_6_2_1_4_3_1_1 PRO;_genm_ n54_a_history_of_greece__1_6_2_1_4_3_1->n54_a_history_of_greece__1_6_2_1_4_3_1_1 n54_a_history_of_greece__1_6_2_1_4_3_1_1->n54_a_history_of_greece__1_6_2_1_4_3_1_1_1 n54_a_history_of_greece__1_6_2_1_4_3_2->n54_a_history_of_greece__1_6_2_1_4_3_2_1 n54_a_history_of_greece__1_7->n54_a_history_of_greece__1_7_1
( (IP-MAT (PP-SCON (P-CONN Although;{although})
                   (IP-ADV (NP-SBJ;{ISLANDS} (D the;{the})
                                             (NS islands;{island}))
                           (VBD;_Tn_ saw;{see})
                           (NP-OB1 (D little;{little})
                                   (N action;{action}))))
          (PUNC ,)
          (PP-SCON (P-CONN as;{as})
                   (IP-ADV (NP-SBJ;{WAR431} (D the;{the})
                                            (N war;{war}))
                           (VBD;_phr_Vp_ went;{go[on]})
                           (RP on;{on})))
          (NP-SBJ;{ISLANDS} (PRO they;{they}))
          (MD;_cat_Vi_ could;{can})
          (IP-INF-CAT (VB;_Tf_ see;{see})
                      (CP-THT-OB1 (IP-SUB (C that;{that})
                                          (NP-SBJ;{ATHENS} (NPR Athens;{Athens}))
                                          (BED;_cat_Vg_ was;{be})
                                          (IP-PPL-CAT (ADVP-NIM (ADV slowly;{slowly}))
                                                      (VAG;_Tn_ losing;{lose})
                                                      (NP-OB1 (NP-GEN;{ATHENS} (PRO;_genm_ its;{its}))
                                                              (N power;{power}))))))
          (PUNC .))
  (ID 54_a_history_of_greece))