Context                Previous, Next                Top


58_a_history_of_greece
Hellenistic and 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_2_1 Periods n58_a_history_of_greece__1 NP n58_a_history_of_greece__1_1 NLYR n58_a_history_of_greece__1->n58_a_history_of_greece__1_1 n58_a_history_of_greece__1_2 NS n58_a_history_of_greece__1->n58_a_history_of_greece__1_2 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_1->n58_a_history_of_greece__1_1_1_2_2_1_1 n58_a_history_of_greece__1_2->n58_a_history_of_greece__1_2_1 
( (NP (NLYR (NLYR (NLYR (NPR Hellenistic;{Hellenistic}))
                  (CONJP (CONJ and;{and})
                         (NLYR (NPR Roman;{Roman})))))
      (NS Periods;{period}))
  (ID 58_a_history_of_greece))


%3 z_0058_5005 r_0058_0004__Periods Periods z_0058_5005->r_0058_0004__Periods r_0058_0002__and and r_0058_0004__Periods->r_0058_0002__and [nim] r_0058_0003__Roman Roman r_0058_0002__and->r_0058_0003__Roman [conj2] r_0058_0001__Hellenistic Hellenistic r_0058_0002__and->r_0058_0001__Hellenistic [conj1] 
arc(r_0058_0002__and,r_0058_0001__Hellenistic,conj1).
arc(r_0058_0002__and,r_0058_0003__Roman,conj2).
arc(r_0058_0004__Periods,r_0058_0002__and,nim).
arc(z_0058_5005,r_0058_0004__Periods,z_0058_5002).


%3 r_0058_0002__and and r_0058_0001__Hellenistic Hellenistic r_0058_0002__and->r_0058_0001__Hellenistic [conj1] r_0058_0003__Roman Roman r_0058_0002__and->r_0058_0003__Roman [conj2] r_0058_0004__Periods Periods r_0058_0004__Periods->r_0058_0002__and [nim] z_0058_5005 z_0058_5005->r_0058_0004__Periods 
fof(formula,axiom,
    ? [R_0058_0001__HELLENISTIC,R_0058_0003__ROMAN,R_0058_0002__AND,R_0058_0004__PERIODS,Z_0058_5005] :
      ( r_0058_0001__Hellenistic(R_0058_0001__HELLENISTIC)
      & r_0058_0003__Roman(R_0058_0003__ROMAN)
      & z_0058_5005(Z_0058_5005)
      & has_z_0058_5002(Z_0058_5005,R_0058_0004__PERIODS)
      & r_0058_0004__Periods(R_0058_0004__PERIODS)
      & has_nim(R_0058_0004__PERIODS,R_0058_0002__AND)
      & r_0058_0002__and(R_0058_0002__AND)
      & has_conj2(R_0058_0002__AND,R_0058_0003__ROMAN)
      & has_conj1(R_0058_0002__AND,R_0058_0001__HELLENISTIC) ) ).