45_a_history_of_greece
Paros and Andros contributed to the Persian armory, while others supported Athens.
arc(r_0045_0002__and, r_0045_0001__Paros, conj1).
arc(r_0045_0002__and, r_0045_0003__Andros, conj2).
arc(r_0045_0004__contributed, r_0045_0002__and, arg0).
arc(r_0045_0004__contributed, r_0045_0006__the_r_0045_0008__armory, r_0045_0005__to_clr18).
arc(r_0045_0006__the_r_0045_0008__armory, r_0045_0007__Persian, attrib21).
arc(r_0045_0010__while, r_0045_0004__contributed, scope).
arc(r_0045_0010__while, r_0045_0012__supported, restriction).
arc(r_0045_0012__supported, r_0045_0011__others, arg0).
arc(r_0045_0012__supported, r_0045_0013__Athens, arg1).
fof(formula,axiom,
? [R_45_10_WHILE,R_45_12_SUPPORTED,R_45_11_OTHERS,R_45_13_ATHENS,R_45_4_CONTRIBUTED,R_45_2_AND,R_45_1_PAROS,R_45_3_ANDROS,R_45_6_THE_ARMORY,R_45_7_PERSIAN] :
( others(R_45_11_OTHERS)
& athens(R_45_13_ATHENS)
& paros(R_45_1_PAROS)
& andros(R_45_3_ANDROS)
& persian(R_45_7_PERSIAN)
& while(R_45_10_WHILE)
& conj1(R_45_10_WHILE,R_45_12_SUPPORTED)
& supported(R_45_12_SUPPORTED,R_45_11_OTHERS,R_45_13_ATHENS)
& conj2(R_45_10_WHILE,R_45_4_CONTRIBUTED)
& contributed(R_45_4_CONTRIBUTED,R_45_2_AND)
& and(R_45_2_AND)
& conj1(R_45_2_AND,R_45_1_PAROS)
& conj2(R_45_2_AND,R_45_3_ANDROS)
& to_clr18(R_45_4_CONTRIBUTED,R_45_6_THE_ARMORY)
& the_armory(R_45_6_THE_ARMORY)
& attrib21(R_45_6_THE_ARMORY,R_45_7_PERSIAN) ) ).
( (IP-MAT (NP-SBJ (NLYR (NLYR (NPR Paros;{Paros}))
(CONJP (CONJ and;{and})
(NLYR (NPR Andros;{Andros})))))
(VBD;_Ipr_ contributed;{contribute[to]})
(PP-CLR (P-ROLE to;{to})
(NP (D the;{the})
(ADJP (ADJ Persian;{persian}))
(N armory;{armory})))
(PUNC ,)
(PP-SCON (P-CONN while;{while})
(IP-ADV (NP-SBJ (NS others;{other}))
(VBD;_Tn_ supported;{support})
(NP-OB1 (NPR Athens;{Athens}))))
(PUNC .))
(ID 45_a_history_of_greece))