126_a_history_of_greece
The struggle bypassed most of the islands, although there was fierce fighting on Samos.
arc(r_0126_0003__bypassed, r_0126_0001__The_r_0126_0002__struggle, arg0).
arc(r_0126_0003__bypassed, z_000_126_a_history_of_greece_10, arg1).
arc(r_0126_0004__most_quant, r_0126_0003__bypassed, scope).
arc(r_0126_0004__most_quant, z_000_126_a_history_of_greece_10, restriction).
arc(r_0126_0009__although, r_0126_0004__most_quant, scope).
arc(r_0126_0009__although, r_0126_0010__there_r_0126_0011__was, restriction).
arc(r_0126_0010__there_r_0126_0011__was, r_0126_0013__fighting, arg0).
arc(r_0126_0010__there_r_0126_0011__was, r_0126_0015__Samos, r_0126_0014__on_clr40).
arc(r_0126_0013__fighting, r_0126_0012__fierce, attrib32).
arc(z_000_126_a_history_of_greece_10, r_0126_0006__the_r_0126_0007__islands, r_0126_0005__of).
fof(formula,axiom,
? [R_126_9_ALTHOUGH,R_126_10_THERE_WAS,R_126_13_FIGHTING,R_126_12_FIERCE,R_126_15_SAMOS] :
( fierce(R_126_12_FIERCE)
& samos(R_126_15_SAMOS)
& ! [Z_126_A_HISTORY_OF_GREECE_10,R_126_6_THE_ISLANDS] :
( ( the_islands(R_126_6_THE_ISLANDS)
& z_126_a_history_of_greece_10(Z_126_A_HISTORY_OF_GREECE_10)
& of(Z_126_A_HISTORY_OF_GREECE_10,R_126_6_THE_ISLANDS) )
=> ? [R_126_3_BYPASSED,R_126_1_THE_STRUGGLE] :
( the_struggle(R_126_1_THE_STRUGGLE)
& bypassed(R_126_3_BYPASSED,R_126_1_THE_STRUGGLE,Z_126_A_HISTORY_OF_GREECE_10) ) )
& conj2(CONJ2)
& although(R_126_9_ALTHOUGH)
& conj1(R_126_9_ALTHOUGH,R_126_10_THERE_WAS)
& there_was(R_126_10_THERE_WAS,R_126_13_FIGHTING)
& fighting(R_126_13_FIGHTING)
& attrib32(R_126_13_FIGHTING,R_126_12_FIERCE)
& on_clr40(R_126_10_THERE_WAS,R_126_15_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))