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 z_000_58_a_history_of_greece_1 r_0058_0002__and and z_000_58_a_history_of_greece_1->r_0058_0002__and [nim] r_0058_0003__Roman_r_0058_0004__Periods Roman Periods r_0058_0002__and->r_0058_0003__Roman_r_0058_0004__Periods [conj2] r_0058_0001__Hellenistic Hellenistic r_0058_0002__and->r_0058_0001__Hellenistic [conj1] 
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__1_1_1_1_1_1 Hellenistic n58_a_history_of_greece__1_1_1_2_1_1 and n58_a_history_of_greece__1_1_1_2_2_1_1 Roman n58_a_history_of_greece__1_1_1_2_2_2_1 Periods n58_a_history_of_greece__1 FRAG n58_a_history_of_greece__1_1 NP n58_a_history_of_greece__1->n58_a_history_of_greece__1_1 n58_a_history_of_greece__1_1_1 NLYR n58_a_history_of_greece__1_1->n58_a_history_of_greece__1_1_1 n58_a_history_of_greece__1_1_1_1 NLYR n58_a_history_of_greece__1_1_1->n58_a_history_of_greece__1_1_1_1 n58_a_history_of_greece__1_1_1_2 CONJP n58_a_history_of_greece__1_1_1->n58_a_history_of_greece__1_1_1_2 n58_a_history_of_greece__1_1_1_1_1 NPR n58_a_history_of_greece__1_1_1_1->n58_a_history_of_greece__1_1_1_1_1 n58_a_history_of_greece__1_1_1_1_1->n58_a_history_of_greece__1_1_1_1_1_1 n58_a_history_of_greece__1_1_1_2_1 CONJ n58_a_history_of_greece__1_1_1_2->n58_a_history_of_greece__1_1_1_2_1 n58_a_history_of_greece__1_1_1_2_2 NLYR n58_a_history_of_greece__1_1_1_2->n58_a_history_of_greece__1_1_1_2_2 n58_a_history_of_greece__1_1_1_2_1->n58_a_history_of_greece__1_1_1_2_1_1 n58_a_history_of_greece__1_1_1_2_2_1 NPR n58_a_history_of_greece__1_1_1_2_2->n58_a_history_of_greece__1_1_1_2_2_1 n58_a_history_of_greece__1_1_1_2_2_2 NS n58_a_history_of_greece__1_1_1_2_2->n58_a_history_of_greece__1_1_1_2_2_2 n58_a_history_of_greece__1_1_1_2_2_1->n58_a_history_of_greece__1_1_1_2_2_1_1 n58_a_history_of_greece__1_1_1_2_2_2->n58_a_history_of_greece__1_1_1_2_2_2_1 
( (FRAG (NP (NLYR (NLYR (NPR Hellenistic;{Hellenistic}))
                  (CONJP (CONJ and;{and})
                         (NLYR (NPR Roman;{Roman})
                               (NS Periods;{period}))))))
  (ID 58_a_history_of_greece))