Context                Previous, Next                Top


58_a_history_of_greece
Hellenistic and Roman Periods

%3 r_0058_0002__and and r_0058_0001__Hellenistic Hellenistic r_0058_0002__and->r_0058_0001__Hellenistic [conj1] r_0058_0003__Roman_r_0058_0004__Periods Roman Periods r_0058_0002__and->r_0058_0003__Roman_r_0058_0004__Periods [conj2] z_000_58_a_history_of_greece_1 z_000_58_a_history_of_greece_1->r_0058_0002__and [nim] 
arc(r_0058_0002__and, r_0058_0001__Hellenistic, conj1).
arc(r_0058_0002__and, r_0058_0003__Roman_r_0058_0004__Periods, conj2).
arc(z_000_58_a_history_of_greece_1, r_0058_0002__and, nim2).


%3 r_0058_0002__and and r_0058_0001__Hellenistic Hellenistic r_0058_0002__and->r_0058_0001__Hellenistic [conj1] r_0058_0003__Roman_r_0058_0004__Periods Roman Periods r_0058_0002__and->r_0058_0003__Roman_r_0058_0004__Periods [conj2] z_000_58_a_history_of_greece_1 z_000_58_a_history_of_greece_1->r_0058_0002__and [nim] 
fof(formula,axiom,
    ? [Z_58_A_HISTORY_OF_GREECE_1,R_58_2_AND,R_58_1_HELLENISTIC,R_58_3_ROMAN_PERIODS] :
      ( hellenistic(R_58_1_HELLENISTIC)
      & roman_Periods(R_58_3_ROMAN_PERIODS)
      & z_58_a_history_of_greece_1(Z_58_A_HISTORY_OF_GREECE_1)
      & nim2(Z_58_A_HISTORY_OF_GREECE_1,R_58_2_AND)
      & and(R_58_2_AND)
      & conj1(R_58_2_AND,R_58_1_HELLENISTIC)
      & conj2(R_58_2_AND,R_58_3_ROMAN_PERIODS) ) ).


n58_a_history_of_greece n58_a_history_of_greece_6 Hellenistic n58_a_history_of_greece_9 and n58_a_history_of_greece_12 Roman n58_a_history_of_greece_14 Periods n58_a_history_of_greece_1 FRAG n58_a_history_of_greece_2 NP n58_a_history_of_greece_1->n58_a_history_of_greece_2 n58_a_history_of_greece_3 NLYR n58_a_history_of_greece_2->n58_a_history_of_greece_3 n58_a_history_of_greece_4 NLYR n58_a_history_of_greece_3->n58_a_history_of_greece_4 n58_a_history_of_greece_7 CONJP n58_a_history_of_greece_3->n58_a_history_of_greece_7 n58_a_history_of_greece_5 NPR n58_a_history_of_greece_4->n58_a_history_of_greece_5 n58_a_history_of_greece_5->n58_a_history_of_greece_6 n58_a_history_of_greece_8 CONJ n58_a_history_of_greece_7->n58_a_history_of_greece_8 n58_a_history_of_greece_10 NLYR n58_a_history_of_greece_7->n58_a_history_of_greece_10 n58_a_history_of_greece_8->n58_a_history_of_greece_9 n58_a_history_of_greece_11 NPR n58_a_history_of_greece_10->n58_a_history_of_greece_11 n58_a_history_of_greece_13 NS n58_a_history_of_greece_10->n58_a_history_of_greece_13 n58_a_history_of_greece_11->n58_a_history_of_greece_12 n58_a_history_of_greece_13->n58_a_history_of_greece_14 
( (FRAG (NP (NLYR (NLYR (NPR Hellenistic;{Hellenistic}))
                  (CONJP (CONJ and;{and})
                         (NLYR (NPR Roman;{Roman})
                               (NS Periods;{period}))))))
  (ID 58_a_history_of_greece))