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 z_000_27_a_history_of_greece_1 r_0027_0001__The_r_0027_0002__Rise The Rise z_000_27_a_history_of_greece_1->r_0027_0001__The_r_0027_0002__Rise [nim] r_0027_0004__Athens Athens r_0027_0001__The_r_0027_0002__Rise->r_0027_0004__Athens of 
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__1_1_1_1 The n27_a_history_of_greece__1_1_2_1 Rise n27_a_history_of_greece__1_1_3_1_1 of n27_a_history_of_greece__1_1_3_2_1_1 Athens n27_a_history_of_greece__1 FRAG n27_a_history_of_greece__1_1 NP n27_a_history_of_greece__1->n27_a_history_of_greece__1_1 n27_a_history_of_greece__1_1_1 D n27_a_history_of_greece__1_1->n27_a_history_of_greece__1_1_1 n27_a_history_of_greece__1_1_2 N n27_a_history_of_greece__1_1->n27_a_history_of_greece__1_1_2 n27_a_history_of_greece__1_1_3 PP n27_a_history_of_greece__1_1->n27_a_history_of_greece__1_1_3 n27_a_history_of_greece__1_1_1->n27_a_history_of_greece__1_1_1_1 n27_a_history_of_greece__1_1_2->n27_a_history_of_greece__1_1_2_1 n27_a_history_of_greece__1_1_3_1 P-ROLE n27_a_history_of_greece__1_1_3->n27_a_history_of_greece__1_1_3_1 n27_a_history_of_greece__1_1_3_2 NP n27_a_history_of_greece__1_1_3->n27_a_history_of_greece__1_1_3_2 n27_a_history_of_greece__1_1_3_1->n27_a_history_of_greece__1_1_3_1_1 n27_a_history_of_greece__1_1_3_2_1 NPR n27_a_history_of_greece__1_1_3_2->n27_a_history_of_greece__1_1_3_2_1 n27_a_history_of_greece__1_1_3_2_1->n27_a_history_of_greece__1_1_3_2_1_1 
( (FRAG (NP (D The;{the})
            (N Rise;{rise})
            (PP (P-ROLE of;{of})
                (NP (NPR Athens;{Athens})))))
  (ID 27_a_history_of_greece))