126_a_history_of_greece
The struggle bypassed most of the islands, although there was fierce fighting on Samos.
( (IP-MAT (ILYR (NP-SBJ;{CIVIL_WAR} (D The;{the})
(N struggle;{struggle}))
(VBD;_Tn_ bypassed;{bypass})
(NP-OB1 (Q;_nphd_ most;{most})
(PP (P-ROLE of;{of})
(NP (D the;{the})
(NS islands;{island})))))
(PUNC ,)
(PP-SCON (P-CONN although;{although})
(IP-ADV (EX there;{there})
(BED;_ex_Vpr_ was;{be[on]})
(NP-ESBJ (ADJP (ADJ fierce;{fierce}))
(N fighting;{fighting}))
(PP-CLR (P-ROLE on;{on})
(NP (NPR Samos;{Samos})))))
(PUNC .))
(ID 126_a_history_of_greece))
arc(r_0126_0003__bypassed,r_0126_0001__The_r_0126_0002__struggle,arg0).
arc(r_0126_0003__bypassed,z_0126_5009,arg1).
arc(r_0126_0004__most__quant,r_0126_0003__bypassed,scope).
arc(r_0126_0004__most__quant,z_0126_5009,restriction).
arc(r_0126_0009__although,r_0126_0004__most__quant,scope).
arc(r_0126_0009__although,r_0126_0011__was_r_0126_0014__on,restriction).
arc(r_0126_0011__was_r_0126_0014__on,r_0126_0013__fighting,arg0).
arc(r_0126_0011__was_r_0126_0014__on,r_0126_0015__Samos,arg1).
arc(r_0126_0013__fighting,r_0126_0012__fierce,attrib).
arc(z_0126_5009,r_0126_0006__the_r_0126_0007__islands,r_0126_0005__of).
fof(formula,axiom,
? [R_0126_0012__FIERCE,R_0126_0013__FIGHTING,R_0126_0015__SAMOS,R_0126_0011__WAS_R_0126_0014__ON,R_0126_0009__ALTHOUGH] :
( r_0126_0012__fierce(R_0126_0012__FIERCE)
& r_0126_0015__Samos(R_0126_0015__SAMOS)
& r_0126_0009__although(R_0126_0009__ALTHOUGH)
& has_conj1(R_0126_0009__ALTHOUGH,R_0126_0011__WAS_R_0126_0014__ON)
& r_0126_0011__was_r_0126_0014__on(R_0126_0011__WAS_R_0126_0014__ON)
& has_arg1(R_0126_0011__WAS_R_0126_0014__ON,R_0126_0015__SAMOS)
& has_arg0(R_0126_0011__WAS_R_0126_0014__ON,R_0126_0013__FIGHTING)
& r_0126_0013__fighting(R_0126_0013__FIGHTING)
& has_attrib(R_0126_0013__FIGHTING,R_0126_0012__FIERCE)
& ! [Z_0126_5009,R_0126_0006__THE_R_0126_0007__ISLANDS] :
( ( r_0126_0006__the_r_0126_0007__islands(R_0126_0006__THE_R_0126_0007__ISLANDS)
& z_0126_5009(Z_0126_5009)
& has_r_0126_0005__of(Z_0126_5009,R_0126_0006__THE_R_0126_0007__ISLANDS) )
=> ? [R_0126_0001__THE_R_0126_0002__STRUGGLE,R_0126_0003__BYPASSED] :
( r_0126_0001__The_r_0126_0002__struggle(R_0126_0001__THE_R_0126_0002__STRUGGLE)
& r_0126_0003__bypassed(R_0126_0003__BYPASSED)
& has_arg1(R_0126_0003__BYPASSED,Z_0126_5009)
& has_arg0(R_0126_0003__BYPASSED,R_0126_0001__THE_R_0126_0002__STRUGGLE) ) ) ) ).