Context                Previous, Next                Top


27_a_history_of_greece
The Rise of Athens

n27_a_history_of_greece n27_a_history_of_greece__1_1_1 The n27_a_history_of_greece__1_2_1 Rise n27_a_history_of_greece__1_3_1_1 of n27_a_history_of_greece__1_3_2_1_1 Athens n27_a_history_of_greece__1 NP n27_a_history_of_greece__1_1 D n27_a_history_of_greece__1->n27_a_history_of_greece__1_1 n27_a_history_of_greece__1_2 N n27_a_history_of_greece__1->n27_a_history_of_greece__1_2 n27_a_history_of_greece__1_3 PP n27_a_history_of_greece__1->n27_a_history_of_greece__1_3 n27_a_history_of_greece__1_1->n27_a_history_of_greece__1_1_1 n27_a_history_of_greece__1_2->n27_a_history_of_greece__1_2_1 n27_a_history_of_greece__1_3_1 P-ROLE n27_a_history_of_greece__1_3->n27_a_history_of_greece__1_3_1 n27_a_history_of_greece__1_3_2 NP n27_a_history_of_greece__1_3->n27_a_history_of_greece__1_3_2 n27_a_history_of_greece__1_3_1->n27_a_history_of_greece__1_3_1_1 n27_a_history_of_greece__1_3_2_1 NPR n27_a_history_of_greece__1_3_2->n27_a_history_of_greece__1_3_2_1 n27_a_history_of_greece__1_3_2_1->n27_a_history_of_greece__1_3_2_1_1 
( (NP (D The;{the})
      (N Rise;{rise})
      (PP (P-ROLE of;{of})
          (NP (NPR Athens;{Athens}))))
  (ID 27_a_history_of_greece))


%3 z_0027_5004 r_0027_0001__The_r_0027_0002__Rise The Rise z_0027_5004->r_0027_0001__The_r_0027_0002__Rise r_0027_0004__Athens Athens r_0027_0001__The_r_0027_0002__Rise->r_0027_0004__Athens of 
arc(r_0027_0001__The_r_0027_0002__Rise,r_0027_0004__Athens,r_0027_0003__of).
arc(z_0027_5004,r_0027_0001__The_r_0027_0002__Rise,z_0027_5002).


%3 r_0027_0001__The_r_0027_0002__Rise The Rise r_0027_0004__Athens Athens r_0027_0001__The_r_0027_0002__Rise->r_0027_0004__Athens of z_0027_5004 z_0027_5004->r_0027_0001__The_r_0027_0002__Rise 
fof(formula,axiom,
    ? [R_0027_0004__ATHENS,R_0027_0001__THE_R_0027_0002__RISE,Z_0027_5004] :
      ( r_0027_0004__Athens(R_0027_0004__ATHENS)
      & z_0027_5004(Z_0027_5004)
      & has_z_0027_5002(Z_0027_5004,R_0027_0001__THE_R_0027_0002__RISE)
      & r_0027_0001__The_r_0027_0002__Rise(R_0027_0001__THE_R_0027_0002__RISE)
      & has_r_0027_0003__of(R_0027_0001__THE_R_0027_0002__RISE,R_0027_0004__ATHENS) ) ).