28_a_history_of_greece
The Dorians, who came over land from northern Europe, conquered the Mycenaeans.

n28_a_history_of_greece n28_a_history_of_greece__1_1_1_1 The n28_a_history_of_greece__1_1_2_1 Dorians n28_a_history_of_greece__1_1_3_1 , n28_a_history_of_greece__1_1_4_1_1_1 who n28_a_history_of_greece__1_1_4_2_1 came n28_a_history_of_greece__1_1_4_3_1_1 over n28_a_history_of_greece__1_1_4_3_2_1_1 land n28_a_history_of_greece__1_1_4_4_1_1 from n28_a_history_of_greece__1_1_4_4_2_1_1_1 northern n28_a_history_of_greece__1_1_4_4_2_2_1 Europe n28_a_history_of_greece__1_2_1 , n28_a_history_of_greece__1_3_1 conquered n28_a_history_of_greece__1_4_1_1 the n28_a_history_of_greece__1_4_2_1 Mycenaeans n28_a_history_of_greece__1_5_1 . n28_a_history_of_greece__1 IP-MAT n28_a_history_of_greece__1_1 NP-SBJ n28_a_history_of_greece__1->n28_a_history_of_greece__1_1 n28_a_history_of_greece__1_2 PUNC n28_a_history_of_greece__1->n28_a_history_of_greece__1_2 n28_a_history_of_greece__1_3 VBD;_Tn_ n28_a_history_of_greece__1->n28_a_history_of_greece__1_3 n28_a_history_of_greece__1_4 NP-OB1 n28_a_history_of_greece__1->n28_a_history_of_greece__1_4 n28_a_history_of_greece__1_5 PUNC n28_a_history_of_greece__1->n28_a_history_of_greece__1_5 n28_a_history_of_greece__1_1_1 D n28_a_history_of_greece__1_1->n28_a_history_of_greece__1_1_1 n28_a_history_of_greece__1_1_2 NPRS n28_a_history_of_greece__1_1->n28_a_history_of_greece__1_1_2 n28_a_history_of_greece__1_1_3 PUNC n28_a_history_of_greece__1_1->n28_a_history_of_greece__1_1_3 n28_a_history_of_greece__1_1_4 IP-REL n28_a_history_of_greece__1_1->n28_a_history_of_greece__1_1_4 n28_a_history_of_greece__1_1_1->n28_a_history_of_greece__1_1_1_1 n28_a_history_of_greece__1_1_2->n28_a_history_of_greece__1_1_2_1 n28_a_history_of_greece__1_1_3->n28_a_history_of_greece__1_1_3_1 n28_a_history_of_greece__1_1_4_1 NP-SBJ n28_a_history_of_greece__1_1_4->n28_a_history_of_greece__1_1_4_1 n28_a_history_of_greece__1_1_4_2 VBD;_Ipr_ n28_a_history_of_greece__1_1_4->n28_a_history_of_greece__1_1_4_2 n28_a_history_of_greece__1_1_4_3 PP-CLR n28_a_history_of_greece__1_1_4->n28_a_history_of_greece__1_1_4_3 n28_a_history_of_greece__1_1_4_4 PP-CLR n28_a_history_of_greece__1_1_4->n28_a_history_of_greece__1_1_4_4 n28_a_history_of_greece__1_1_4_1_1 RPRO n28_a_history_of_greece__1_1_4_1->n28_a_history_of_greece__1_1_4_1_1 n28_a_history_of_greece__1_1_4_1_1->n28_a_history_of_greece__1_1_4_1_1_1 n28_a_history_of_greece__1_1_4_2->n28_a_history_of_greece__1_1_4_2_1 n28_a_history_of_greece__1_1_4_3_1 P-ROLE n28_a_history_of_greece__1_1_4_3->n28_a_history_of_greece__1_1_4_3_1 n28_a_history_of_greece__1_1_4_3_2 NP n28_a_history_of_greece__1_1_4_3->n28_a_history_of_greece__1_1_4_3_2 n28_a_history_of_greece__1_1_4_3_1->n28_a_history_of_greece__1_1_4_3_1_1 n28_a_history_of_greece__1_1_4_3_2_1 N n28_a_history_of_greece__1_1_4_3_2->n28_a_history_of_greece__1_1_4_3_2_1 n28_a_history_of_greece__1_1_4_3_2_1->n28_a_history_of_greece__1_1_4_3_2_1_1 n28_a_history_of_greece__1_1_4_4_1 P-ROLE n28_a_history_of_greece__1_1_4_4->n28_a_history_of_greece__1_1_4_4_1 n28_a_history_of_greece__1_1_4_4_2 NP n28_a_history_of_greece__1_1_4_4->n28_a_history_of_greece__1_1_4_4_2 n28_a_history_of_greece__1_1_4_4_1->n28_a_history_of_greece__1_1_4_4_1_1 n28_a_history_of_greece__1_1_4_4_2_1 ADJP n28_a_history_of_greece__1_1_4_4_2->n28_a_history_of_greece__1_1_4_4_2_1 n28_a_history_of_greece__1_1_4_4_2_2 NPR n28_a_history_of_greece__1_1_4_4_2->n28_a_history_of_greece__1_1_4_4_2_2 n28_a_history_of_greece__1_1_4_4_2_1_1 ADJ n28_a_history_of_greece__1_1_4_4_2_1->n28_a_history_of_greece__1_1_4_4_2_1_1 n28_a_history_of_greece__1_1_4_4_2_1_1->n28_a_history_of_greece__1_1_4_4_2_1_1_1 n28_a_history_of_greece__1_1_4_4_2_2->n28_a_history_of_greece__1_1_4_4_2_2_1 n28_a_history_of_greece__1_2->n28_a_history_of_greece__1_2_1 n28_a_history_of_greece__1_3->n28_a_history_of_greece__1_3_1 n28_a_history_of_greece__1_4_1 D n28_a_history_of_greece__1_4->n28_a_history_of_greece__1_4_1 n28_a_history_of_greece__1_4_2 NPRS n28_a_history_of_greece__1_4->n28_a_history_of_greece__1_4_2 n28_a_history_of_greece__1_4_1->n28_a_history_of_greece__1_4_1_1 n28_a_history_of_greece__1_4_2->n28_a_history_of_greece__1_4_2_1 n28_a_history_of_greece__1_5->n28_a_history_of_greece__1_5_1
( (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))



%3 r_0028_0012__conquered conquered r_0028_0013__the_r_0028_0014__Mycenaeans the Mycenaeans r_0028_0012__conquered->r_0028_0013__the_r_0028_0014__Mycenaeans [arg1] r_0028_0001__The_r_0028_0002__Dorians The Dorians r_0028_0012__conquered->r_0028_0001__The_r_0028_0002__Dorians [arg0] r_0028_0010__Europe Europe r_0028_0009__northern northern r_0028_0010__Europe->r_0028_0009__northern [attrib] r_0028_0005__came came r_0028_0005__came->r_0028_0001__The_r_0028_0002__Dorians [arg0] r_0028_0005__came->r_0028_0010__Europe from [clr] r_0028_0007__land land r_0028_0005__came->r_0028_0007__land over [clr]
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).



%3 r_0028_0005__came came r_0028_0001__The_r_0028_0002__Dorians The Dorians r_0028_0005__came->r_0028_0001__The_r_0028_0002__Dorians [arg0] r_0028_0007__land land r_0028_0005__came->r_0028_0007__land over [clr] r_0028_0010__Europe Europe r_0028_0005__came->r_0028_0010__Europe from [clr] r_0028_0009__northern northern r_0028_0010__Europe->r_0028_0009__northern [attrib] r_0028_0012__conquered conquered r_0028_0012__conquered->r_0028_0001__The_r_0028_0002__Dorians [arg0] r_0028_0013__the_r_0028_0014__Mycenaeans the Mycenaeans 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) ) ).