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.
( (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))
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_0018__was,arg1).
arc(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,nim).
arc(r_0054_0020__losing,r_0054_0022__power,arg1).
arc(r_0054_0022__power,r_0054_0017__Athens,gen).
fof(formula,axiom,
? [R_0054_0002__THE_R_0054_0003__ISLANDS,R_0054_0005__LITTLE_R_0054_0006__ACTION,R_0054_0004__SAW,R_0054_0009__THE_R_0054_0010__WAR,R_0054_0011__WENT_R_0054_0012__ON,R_0054_0017__ATHENS,R_0054_0019__SLOWLY,R_0054_0022__POWER,R_0054_0018__WAS_R_0054_0020__LOSING,R_0054_0014__COULD_R_0054_0015__SEE,R_0054_0008__AS,R_0054_0001__ALTHOUGH] :
( r_0054_0002__the_r_0054_0003__islands(R_0054_0002__THE_R_0054_0003__ISLANDS)
& r_0054_0005__little_r_0054_0006__action(R_0054_0005__LITTLE_R_0054_0006__ACTION)
& r_0054_0009__the_r_0054_0010__war(R_0054_0009__THE_R_0054_0010__WAR)
& r_0054_0017__Athens(R_0054_0017__ATHENS)
& r_0054_0019__slowly(R_0054_0019__SLOWLY)
& r_0054_0001__Although(R_0054_0001__ALTHOUGH)
& has_conj2(R_0054_0001__ALTHOUGH,R_0054_0008__AS)
& r_0054_0008__as(R_0054_0008__AS)
& has_conj2(R_0054_0008__AS,R_0054_0014__COULD_R_0054_0015__SEE)
& r_0054_0014__could_r_0054_0015__see(R_0054_0014__COULD_R_0054_0015__SEE)
& has_arg1(R_0054_0014__COULD_R_0054_0015__SEE,R_0054_0018__WAS_R_0054_0020__LOSING)
& r_0054_0018__was_r_0054_0020__losing(R_0054_0018__WAS_R_0054_0020__LOSING)
& has_arg1(R_0054_0018__WAS_R_0054_0020__LOSING,R_0054_0022__POWER)
& r_0054_0022__power(R_0054_0022__POWER)
& has_gen(R_0054_0022__POWER,R_0054_0017__ATHENS)
& has_nim(R_0054_0018__WAS_R_0054_0020__LOSING,R_0054_0019__SLOWLY)
& has_arg0(R_0054_0018__WAS_R_0054_0020__LOSING,R_0054_0017__ATHENS)
& has_arg0(R_0054_0014__COULD_R_0054_0015__SEE,R_0054_0002__THE_R_0054_0003__ISLANDS)
& has_conj1(R_0054_0008__AS,R_0054_0011__WENT_R_0054_0012__ON)
& r_0054_0011__went_r_0054_0012__on(R_0054_0011__WENT_R_0054_0012__ON)
& has_arg0(R_0054_0011__WENT_R_0054_0012__ON,R_0054_0009__THE_R_0054_0010__WAR)
& has_conj1(R_0054_0001__ALTHOUGH,R_0054_0004__SAW)
& r_0054_0004__saw(R_0054_0004__SAW)
& has_arg1(R_0054_0004__SAW,R_0054_0005__LITTLE_R_0054_0006__ACTION)
& has_arg0(R_0054_0004__SAW,R_0054_0002__THE_R_0054_0003__ISLANDS) ) ).