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

%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]
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_clr18).
arc(r_0028_0005__came, r_0028_0010__Europe, r_0028_0008__from_clr24).
arc(r_0028_0010__Europe, r_0028_0009__northern, attrib25).
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_28_5_CAME,R_28_7_LAND,R_28_10_EUROPE,R_28_9_NORTHERN,R_28_12_CONQUERED,R_28_1_THE_DORIANS,R_28_13_THE_MYCENAEANS] :
      ( land(R_28_7_LAND)
      & northern(R_28_9_NORTHERN)
      & the_Dorians(R_28_1_THE_DORIANS)
      & the_Mycenaeans(R_28_13_THE_MYCENAEANS)
      & came(R_28_5_CAME,R_28_1_THE_DORIANS)
      & over_clr18(R_28_5_CAME,R_28_7_LAND)
      & from_clr24(R_28_5_CAME,R_28_10_EUROPE)
      & europe(R_28_10_EUROPE)
      & attrib25(R_28_10_EUROPE,R_28_9_NORTHERN)
      & conquered(R_28_12_CONQUERED,R_28_1_THE_DORIANS,R_28_13_THE_MYCENAEANS) ) ).



n28_a_history_of_greece n28_a_history_of_greece_4 The n28_a_history_of_greece_6 Dorians n28_a_history_of_greece_8 , n28_a_history_of_greece_12 who n28_a_history_of_greece_14 came n28_a_history_of_greece_17 over n28_a_history_of_greece_20 land n28_a_history_of_greece_23 from n28_a_history_of_greece_27 northern n28_a_history_of_greece_29 Europe n28_a_history_of_greece_31 , n28_a_history_of_greece_33 conquered n28_a_history_of_greece_36 the n28_a_history_of_greece_38 Mycenaeans n28_a_history_of_greece_40 . n28_a_history_of_greece_1 IP-MAT n28_a_history_of_greece_2 NP-SBJ n28_a_history_of_greece_1->n28_a_history_of_greece_2 n28_a_history_of_greece_30 PUNC n28_a_history_of_greece_1->n28_a_history_of_greece_30 n28_a_history_of_greece_32 VBD;_Tn_ n28_a_history_of_greece_1->n28_a_history_of_greece_32 n28_a_history_of_greece_34 NP-OB1 n28_a_history_of_greece_1->n28_a_history_of_greece_34 n28_a_history_of_greece_39 PUNC n28_a_history_of_greece_1->n28_a_history_of_greece_39 n28_a_history_of_greece_3 D n28_a_history_of_greece_2->n28_a_history_of_greece_3 n28_a_history_of_greece_5 NPRS n28_a_history_of_greece_2->n28_a_history_of_greece_5 n28_a_history_of_greece_7 PUNC n28_a_history_of_greece_2->n28_a_history_of_greece_7 n28_a_history_of_greece_9 IP-REL n28_a_history_of_greece_2->n28_a_history_of_greece_9 n28_a_history_of_greece_3->n28_a_history_of_greece_4 n28_a_history_of_greece_5->n28_a_history_of_greece_6 n28_a_history_of_greece_7->n28_a_history_of_greece_8 n28_a_history_of_greece_10 NP-SBJ n28_a_history_of_greece_9->n28_a_history_of_greece_10 n28_a_history_of_greece_13 VBD;_Ipr_ n28_a_history_of_greece_9->n28_a_history_of_greece_13 n28_a_history_of_greece_15 PP-CLR n28_a_history_of_greece_9->n28_a_history_of_greece_15 n28_a_history_of_greece_21 PP-CLR n28_a_history_of_greece_9->n28_a_history_of_greece_21 n28_a_history_of_greece_11 RPRO n28_a_history_of_greece_10->n28_a_history_of_greece_11 n28_a_history_of_greece_11->n28_a_history_of_greece_12 n28_a_history_of_greece_13->n28_a_history_of_greece_14 n28_a_history_of_greece_16 P-ROLE n28_a_history_of_greece_15->n28_a_history_of_greece_16 n28_a_history_of_greece_18 NP n28_a_history_of_greece_15->n28_a_history_of_greece_18 n28_a_history_of_greece_16->n28_a_history_of_greece_17 n28_a_history_of_greece_19 N n28_a_history_of_greece_18->n28_a_history_of_greece_19 n28_a_history_of_greece_19->n28_a_history_of_greece_20 n28_a_history_of_greece_22 P-ROLE n28_a_history_of_greece_21->n28_a_history_of_greece_22 n28_a_history_of_greece_24 NP n28_a_history_of_greece_21->n28_a_history_of_greece_24 n28_a_history_of_greece_22->n28_a_history_of_greece_23 n28_a_history_of_greece_25 ADJP n28_a_history_of_greece_24->n28_a_history_of_greece_25 n28_a_history_of_greece_28 NPR n28_a_history_of_greece_24->n28_a_history_of_greece_28 n28_a_history_of_greece_26 ADJ n28_a_history_of_greece_25->n28_a_history_of_greece_26 n28_a_history_of_greece_26->n28_a_history_of_greece_27 n28_a_history_of_greece_28->n28_a_history_of_greece_29 n28_a_history_of_greece_30->n28_a_history_of_greece_31 n28_a_history_of_greece_32->n28_a_history_of_greece_33 n28_a_history_of_greece_35 D n28_a_history_of_greece_34->n28_a_history_of_greece_35 n28_a_history_of_greece_37 NPRS n28_a_history_of_greece_34->n28_a_history_of_greece_37 n28_a_history_of_greece_35->n28_a_history_of_greece_36 n28_a_history_of_greece_37->n28_a_history_of_greece_38 n28_a_history_of_greece_39->n28_a_history_of_greece_40
( (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))