45_a_history_of_greece
Paros and Andros contributed to the Persian armory, while others supported Athens.
( (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))
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_0005__to,r_0045_0002__and,arg0).
arc(r_0045_0004__contributed_r_0045_0005__to,r_0045_0006__the_r_0045_0008__armory,arg1).
arc(r_0045_0006__the_r_0045_0008__armory,r_0045_0007__Persian,attrib).
arc(r_0045_0010__while,r_0045_0004__contributed_r_0045_0005__to,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_0045_0001__PAROS,R_0045_0003__ANDROS,R_0045_0002__AND,R_0045_0007__PERSIAN,R_0045_0006__THE_R_0045_0008__ARMORY,R_0045_0004__CONTRIBUTED_R_0045_0005__TO,R_0045_0011__OTHERS,R_0045_0013__ATHENS,R_0045_0012__SUPPORTED,R_0045_0010__WHILE] :
( r_0045_0001__Paros(R_0045_0001__PAROS)
& r_0045_0003__Andros(R_0045_0003__ANDROS)
& r_0045_0007__Persian(R_0045_0007__PERSIAN)
& r_0045_0011__others(R_0045_0011__OTHERS)
& r_0045_0013__Athens(R_0045_0013__ATHENS)
& r_0045_0010__while(R_0045_0010__WHILE)
& has_conj1(R_0045_0010__WHILE,R_0045_0012__SUPPORTED)
& r_0045_0012__supported(R_0045_0012__SUPPORTED)
& has_arg1(R_0045_0012__SUPPORTED,R_0045_0013__ATHENS)
& has_arg0(R_0045_0012__SUPPORTED,R_0045_0011__OTHERS)
& has_conj2(R_0045_0010__WHILE,R_0045_0004__CONTRIBUTED_R_0045_0005__TO)
& r_0045_0004__contributed_r_0045_0005__to(R_0045_0004__CONTRIBUTED_R_0045_0005__TO)
& has_arg1(R_0045_0004__CONTRIBUTED_R_0045_0005__TO,R_0045_0006__THE_R_0045_0008__ARMORY)
& r_0045_0006__the_r_0045_0008__armory(R_0045_0006__THE_R_0045_0008__ARMORY)
& has_attrib(R_0045_0006__THE_R_0045_0008__ARMORY,R_0045_0007__PERSIAN)
& has_arg0(R_0045_0004__CONTRIBUTED_R_0045_0005__TO,R_0045_0002__AND)
& r_0045_0002__and(R_0045_0002__AND)
& has_conj2(R_0045_0002__AND,R_0045_0003__ANDROS)
& has_conj1(R_0045_0002__AND,R_0045_0001__PAROS) ) ).