Context                Previous, Next                Top


11_a_history_of_greece
Cycladic Culture

n11_a_history_of_greece n11_a_history_of_greece__1_1_1 Cycladic n11_a_history_of_greece__1_2_1 Culture n11_a_history_of_greece__1 NP n11_a_history_of_greece__1_1 NPR n11_a_history_of_greece__1->n11_a_history_of_greece__1_1 n11_a_history_of_greece__1_2 N n11_a_history_of_greece__1->n11_a_history_of_greece__1_2 n11_a_history_of_greece__1_1->n11_a_history_of_greece__1_1_1 n11_a_history_of_greece__1_2->n11_a_history_of_greece__1_2_1 
( (NP (NPR Cycladic;{Cycladic})
      (N Culture;{culture}))
  (ID 11_a_history_of_greece))


%3 z_0011_5004 r_0011_0001__Cycladic_r_0011_0002__Culture Cycladic Culture z_0011_5004->r_0011_0001__Cycladic_r_0011_0002__Culture 
arc(z_0011_5004,r_0011_0001__Cycladic_r_0011_0002__Culture,z_0011_5002).


%3 z_0011_5004 r_0011_0001__Cycladic_r_0011_0002__Culture Cycladic Culture z_0011_5004->r_0011_0001__Cycladic_r_0011_0002__Culture 
fof(formula,axiom,
    ? [R_0011_0001__CYCLADIC_R_0011_0002__CULTURE,Z_0011_5004] :
      ( r_0011_0001__Cycladic_r_0011_0002__Culture(R_0011_0001__CYCLADIC_R_0011_0002__CULTURE)
      & z_0011_5004(Z_0011_5004)
      & has_z_0011_5002(Z_0011_5004,R_0011_0001__CYCLADIC_R_0011_0002__CULTURE) ) ).