Context                Previous, Next                Top


27_a_history_of_greece
The Rise of Athens

%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_000_27_a_history_of_greece_1 z_000_27_a_history_of_greece_1->r_0027_0001__The_r_0027_0002__Rise [nim] 
arc(r_0027_0001__The_r_0027_0002__Rise, r_0027_0004__Athens, r_0027_0003__of).
arc(z_000_27_a_history_of_greece_1, r_0027_0001__The_r_0027_0002__Rise, nim2).


%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_000_27_a_history_of_greece_1 z_000_27_a_history_of_greece_1->r_0027_0001__The_r_0027_0002__Rise [nim] 
fof(formula,axiom,
    ? [Z_27_A_HISTORY_OF_GREECE_1,R_27_1_THE_RISE,R_27_4_ATHENS] :
      ( athens(R_27_4_ATHENS)
      & z_27_a_history_of_greece_1(Z_27_A_HISTORY_OF_GREECE_1)
      & nim2(Z_27_A_HISTORY_OF_GREECE_1,R_27_1_THE_RISE)
      & the_Rise(R_27_1_THE_RISE)
      & of(R_27_1_THE_RISE,R_27_4_ATHENS) ) ).


n27_a_history_of_greece n27_a_history_of_greece_4 The n27_a_history_of_greece_6 Rise n27_a_history_of_greece_9 of n27_a_history_of_greece_12 Athens n27_a_history_of_greece_1 FRAG n27_a_history_of_greece_2 NP n27_a_history_of_greece_1->n27_a_history_of_greece_2 n27_a_history_of_greece_3 D n27_a_history_of_greece_2->n27_a_history_of_greece_3 n27_a_history_of_greece_5 N n27_a_history_of_greece_2->n27_a_history_of_greece_5 n27_a_history_of_greece_7 PP n27_a_history_of_greece_2->n27_a_history_of_greece_7 n27_a_history_of_greece_3->n27_a_history_of_greece_4 n27_a_history_of_greece_5->n27_a_history_of_greece_6 n27_a_history_of_greece_8 P-ROLE n27_a_history_of_greece_7->n27_a_history_of_greece_8 n27_a_history_of_greece_10 NP n27_a_history_of_greece_7->n27_a_history_of_greece_10 n27_a_history_of_greece_8->n27_a_history_of_greece_9 n27_a_history_of_greece_11 NPR n27_a_history_of_greece_10->n27_a_history_of_greece_11 n27_a_history_of_greece_11->n27_a_history_of_greece_12 
( (FRAG (NP (D The;{the})
            (N Rise;{rise})
            (PP (P-ROLE of;{of})
                (NP (NPR Athens;{Athens})))))
  (ID 27_a_history_of_greece))