25_a_history_of_greece
The Mycenaeans were an acquisitive race who came to conquer, not to trade.
arc(r_0025_0003__were, r_0025_0001__The_r_0025_0002__Mycenaeans, arg0).
arc(r_0025_0003__were, r_0025_0004__an_r_0025_0006__race, prd).
arc(r_0025_0004__an_r_0025_0006__race, r_0025_0005__acquisitive, attrib12).
arc(r_0025_0008__came, r_0025_0004__an_r_0025_0006__race, arg0).
arc(r_0025_0008__came, z_000_25_a_history_of_greece_24, clr23).
arc(r_0025_0009__to_r_0025_0010__conquer, r_0025_0004__an_r_0025_0006__race, arg0).
arc(r_0025_0012__not, r_0025_0013__to_r_0025_0014__trade, keep_scope).
arc(r_0025_0013__to_r_0025_0014__trade, r_0025_0004__an_r_0025_0006__race, arg0).
arc(z_000_25_a_history_of_greece_24, r_0025_0009__to_r_0025_0010__conquer, conj1).
arc(z_000_25_a_history_of_greece_24, r_0025_0012__not, conj2).
fof(formula,axiom,
? [R_25_3_WERE,R_25_1_THE_MYCENAEANS,R_25_8_CAME,Z_25_A_HISTORY_OF_GREECE_24,R_25_9_TO_CONQUER,R_25_4_AN_RACE,R_25_5_ACQUISITIVE] :
( the_Mycenaeans(R_25_1_THE_MYCENAEANS)
& acquisitive(R_25_5_ACQUISITIVE)
& were(R_25_3_WERE,R_25_1_THE_MYCENAEANS,R_25_4_AN_RACE)
& an_race(R_25_4_AN_RACE)
& attrib12(R_25_4_AN_RACE,R_25_5_ACQUISITIVE)
& came(R_25_8_CAME,R_25_4_AN_RACE)
& clr23(R_25_8_CAME,Z_25_A_HISTORY_OF_GREECE_24)
& z_25_a_history_of_greece_24(Z_25_A_HISTORY_OF_GREECE_24)
& conj1(Z_25_A_HISTORY_OF_GREECE_24,R_25_9_TO_CONQUER)
& to_conquer(R_25_9_TO_CONQUER,R_25_4_AN_RACE)
& conj2(Z_25_A_HISTORY_OF_GREECE_24,R_25_12_NOT)
& ~ ? [R_25_13_TO_TRADE] : to_trade(R_25_13_TO_TRADE,R_25_4_AN_RACE) ) ).
( (IP-MAT (NP-SBJ;{MYCENAEANS} (D The;{the})
(NPRS Mycenaeans;{Mycenaeans}))
(BED;_Ln_ were;{be})
(NP-PRD (D an;{an})
(ADJP (ADJ acquisitive;{acquisitive}))
(N race;{race})
(IP-REL (NP-SBJ (RPRO who;{who}))
(VBD;_It_ came;{come})
(IP-INF-CLR (ILYR (ILYR (TO to;{to})
(VB;_I_ conquer;{conquer}))
(PUNC ,)
(CONJP (ILYR (NEG not;{not})
(TO to;{to})
(VB;_I_ trade;{trade})))))))
(PUNC .))
(ID 25_a_history_of_greece))