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