28_a_history_of_greece
The Dorians, who came over land from northern Europe, conquered the Mycenaeans.
( (IP-MAT (NP-SBJ;{DORIANS} (D The;{the})
(NPRS Dorians;{Dorians})
(PUNC ,)
(IP-REL (NP-SBJ (RPRO who;{who}))
(VBD;_Ipr_ came;{come[over<come>from]})
(PP-CLR (P-ROLE over;{over})
(NP (N land;{land})))
(PP-CLR (P-ROLE from;{from})
(NP (ADJP (ADJ northern;{northern}))
(NPR Europe;{Europe})))))
(PUNC ,)
(VBD;_Tn_ conquered;{conquer})
(NP-OB1;{MYCENAEANS} (D the;{the})
(NPRS Mycenaeans;{Mycenaeans}))
(PUNC .))
(ID 28_a_history_of_greece))
arc(r_0028_0005__came,r_0028_0001__The_r_0028_0002__Dorians,arg0).
arc(r_0028_0005__came,r_0028_0007__land,r_0028_0006__over__clr).
arc(r_0028_0005__came,r_0028_0010__Europe,r_0028_0008__from__clr).
arc(r_0028_0010__Europe,r_0028_0009__northern,attrib).
arc(r_0028_0012__conquered,r_0028_0001__The_r_0028_0002__Dorians,arg0).
arc(r_0028_0012__conquered,r_0028_0013__the_r_0028_0014__Mycenaeans,arg1).
fof(formula,axiom,
? [R_0028_0001__THE_R_0028_0002__DORIANS,R_0028_0007__LAND,R_0028_0009__NORTHERN,R_0028_0010__EUROPE,R_0028_0005__CAME,R_0028_0013__THE_R_0028_0014__MYCENAEANS,R_0028_0012__CONQUERED] :
( r_0028_0001__The_r_0028_0002__Dorians(R_0028_0001__THE_R_0028_0002__DORIANS)
& r_0028_0007__land(R_0028_0007__LAND)
& r_0028_0009__northern(R_0028_0009__NORTHERN)
& r_0028_0013__the_r_0028_0014__Mycenaeans(R_0028_0013__THE_R_0028_0014__MYCENAEANS)
& r_0028_0012__conquered(R_0028_0012__CONQUERED)
& has_arg1(R_0028_0012__CONQUERED,R_0028_0013__THE_R_0028_0014__MYCENAEANS)
& has_arg0(R_0028_0012__CONQUERED,R_0028_0001__THE_R_0028_0002__DORIANS)
& r_0028_0005__came(R_0028_0005__CAME)
& has_r_0028_0008__from__clr(R_0028_0005__CAME,R_0028_0010__EUROPE)
& r_0028_0010__Europe(R_0028_0010__EUROPE)
& has_attrib(R_0028_0010__EUROPE,R_0028_0009__NORTHERN)
& has_r_0028_0006__over__clr(R_0028_0005__CAME,R_0028_0007__LAND)
& has_arg0(R_0028_0005__CAME,R_0028_0001__THE_R_0028_0002__DORIANS) ) ).