Context                Previous, Next                Top


18_a_history_of_greece
The Minoans and the Myceneans

n18_a_history_of_greece n18_a_history_of_greece__1_1_1_1_1 The n18_a_history_of_greece__1_1_1_2_1 Minoans n18_a_history_of_greece__1_1_2_1_1 and n18_a_history_of_greece__1_1_2_2_1_1 the n18_a_history_of_greece__1_1_2_2_2_1 Myceneans n18_a_history_of_greece__1 NP n18_a_history_of_greece__1_1 NLYR n18_a_history_of_greece__1->n18_a_history_of_greece__1_1 n18_a_history_of_greece__1_1_1 NLYR n18_a_history_of_greece__1_1->n18_a_history_of_greece__1_1_1 n18_a_history_of_greece__1_1_2 CONJP n18_a_history_of_greece__1_1->n18_a_history_of_greece__1_1_2 n18_a_history_of_greece__1_1_1_1 D n18_a_history_of_greece__1_1_1->n18_a_history_of_greece__1_1_1_1 n18_a_history_of_greece__1_1_1_2 NPRS n18_a_history_of_greece__1_1_1->n18_a_history_of_greece__1_1_1_2 n18_a_history_of_greece__1_1_1_1->n18_a_history_of_greece__1_1_1_1_1 n18_a_history_of_greece__1_1_1_2->n18_a_history_of_greece__1_1_1_2_1 n18_a_history_of_greece__1_1_2_1 CONJ n18_a_history_of_greece__1_1_2->n18_a_history_of_greece__1_1_2_1 n18_a_history_of_greece__1_1_2_2 NLYR n18_a_history_of_greece__1_1_2->n18_a_history_of_greece__1_1_2_2 n18_a_history_of_greece__1_1_2_1->n18_a_history_of_greece__1_1_2_1_1 n18_a_history_of_greece__1_1_2_2_1 D n18_a_history_of_greece__1_1_2_2->n18_a_history_of_greece__1_1_2_2_1 n18_a_history_of_greece__1_1_2_2_2 NPRS n18_a_history_of_greece__1_1_2_2->n18_a_history_of_greece__1_1_2_2_2 n18_a_history_of_greece__1_1_2_2_1->n18_a_history_of_greece__1_1_2_2_1_1 n18_a_history_of_greece__1_1_2_2_2->n18_a_history_of_greece__1_1_2_2_2_1 
( (NP (NLYR (NLYR (D The;{the})
                  (NPRS Minoans;{Minoans}))
            (CONJP (CONJ and;{and})
                   (NLYR (D the;{the})
                         (NPRS Myceneans;{Myceneans})))))
  (ID 18_a_history_of_greece))


%3 z_0018_5004 r_0018_0003__and and z_0018_5004->r_0018_0003__and r_0018_0004__the_r_0018_0005__Myceneans the Myceneans r_0018_0003__and->r_0018_0004__the_r_0018_0005__Myceneans [conj2] r_0018_0001__The_r_0018_0002__Minoans The Minoans r_0018_0003__and->r_0018_0001__The_r_0018_0002__Minoans [conj1] 
arc(r_0018_0003__and,r_0018_0001__The_r_0018_0002__Minoans,conj1).
arc(r_0018_0003__and,r_0018_0004__the_r_0018_0005__Myceneans,conj2).
arc(z_0018_5004,r_0018_0003__and,z_0018_5002).


%3 r_0018_0003__and and r_0018_0001__The_r_0018_0002__Minoans The Minoans r_0018_0003__and->r_0018_0001__The_r_0018_0002__Minoans [conj1] r_0018_0004__the_r_0018_0005__Myceneans the Myceneans r_0018_0003__and->r_0018_0004__the_r_0018_0005__Myceneans [conj2] z_0018_5004 z_0018_5004->r_0018_0003__and 
fof(formula,axiom,
    ? [R_0018_0001__THE_R_0018_0002__MINOANS,R_0018_0004__THE_R_0018_0005__MYCENEANS,R_0018_0003__AND,Z_0018_5004] :
      ( r_0018_0001__The_r_0018_0002__Minoans(R_0018_0001__THE_R_0018_0002__MINOANS)
      & r_0018_0004__the_r_0018_0005__Myceneans(R_0018_0004__THE_R_0018_0005__MYCENEANS)
      & z_0018_5004(Z_0018_5004)
      & has_z_0018_5002(Z_0018_5004,R_0018_0003__AND)
      & r_0018_0003__and(R_0018_0003__AND)
      & has_conj2(R_0018_0003__AND,R_0018_0004__THE_R_0018_0005__MYCENEANS)
      & has_conj1(R_0018_0003__AND,R_0018_0001__THE_R_0018_0002__MINOANS) ) ).