Context                Previous, Next                Top


18_a_history_of_greece
The Minoans and the Myceneans

%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_000_18_a_history_of_greece_1 z_000_18_a_history_of_greece_1->r_0018_0003__and [nim] 
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_000_18_a_history_of_greece_1, r_0018_0003__and, nim2).


%3 z_000_18_a_history_of_greece_1 r_0018_0003__and and z_000_18_a_history_of_greece_1->r_0018_0003__and [nim] 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] 
fof(formula,axiom,
    ? [Z_18_A_HISTORY_OF_GREECE_1,R_18_3_AND,R_18_1_THE_MINOANS,R_18_4_THE_MYCENEANS] :
      ( the_Minoans(R_18_1_THE_MINOANS)
      & the_Myceneans(R_18_4_THE_MYCENEANS)
      & z_18_a_history_of_greece_1(Z_18_A_HISTORY_OF_GREECE_1)
      & nim2(Z_18_A_HISTORY_OF_GREECE_1,R_18_3_AND)
      & and(R_18_3_AND)
      & conj1(R_18_3_AND,R_18_1_THE_MINOANS)
      & conj2(R_18_3_AND,R_18_4_THE_MYCENEANS) ) ).


n18_a_history_of_greece n18_a_history_of_greece__1_1_1_1_1_1 The n18_a_history_of_greece__1_1_1_1_2_1 Minoans n18_a_history_of_greece__1_1_1_2_1_1 and n18_a_history_of_greece__1_1_1_2_2_1_1 the n18_a_history_of_greece__1_1_1_2_2_2_1 Myceneans n18_a_history_of_greece__1 FRAG n18_a_history_of_greece__1_1 NP 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_1_1 NLYR 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 CONJP 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_1 D 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_1_2 NPRS n18_a_history_of_greece__1_1_1_1->n18_a_history_of_greece__1_1_1_1_2 n18_a_history_of_greece__1_1_1_1_1->n18_a_history_of_greece__1_1_1_1_1_1 n18_a_history_of_greece__1_1_1_1_2->n18_a_history_of_greece__1_1_1_1_2_1 n18_a_history_of_greece__1_1_1_2_1 CONJ 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_1_2_2 NLYR n18_a_history_of_greece__1_1_1_2->n18_a_history_of_greece__1_1_1_2_2 n18_a_history_of_greece__1_1_1_2_1->n18_a_history_of_greece__1_1_1_2_1_1 n18_a_history_of_greece__1_1_1_2_2_1 D n18_a_history_of_greece__1_1_1_2_2->n18_a_history_of_greece__1_1_1_2_2_1 n18_a_history_of_greece__1_1_1_2_2_2 NPRS n18_a_history_of_greece__1_1_1_2_2->n18_a_history_of_greece__1_1_1_2_2_2 n18_a_history_of_greece__1_1_1_2_2_1->n18_a_history_of_greece__1_1_1_2_2_1_1 n18_a_history_of_greece__1_1_1_2_2_2->n18_a_history_of_greece__1_1_1_2_2_2_1 
( (FRAG (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))