Context                Previous, Next                Top


109_a_history_of_greece
The Twentieth Century

%3 r_0109_0001__The_r_0109_0003__Century The Century r_0109_0002__Twentieth Twentieth r_0109_0001__The_r_0109_0003__Century->r_0109_0002__Twentieth [attrib] z_000_109_a_history_of_greece_1 z_000_109_a_history_of_greece_1->r_0109_0001__The_r_0109_0003__Century [nim] 
arc(r_0109_0001__The_r_0109_0003__Century, r_0109_0002__Twentieth, attrib5).
arc(z_000_109_a_history_of_greece_1, r_0109_0001__The_r_0109_0003__Century, nim2).


%3 z_000_109_a_history_of_greece_1 r_0109_0001__The_r_0109_0003__Century The Century z_000_109_a_history_of_greece_1->r_0109_0001__The_r_0109_0003__Century [nim] r_0109_0002__Twentieth Twentieth r_0109_0001__The_r_0109_0003__Century->r_0109_0002__Twentieth [attrib] 
fof(formula,axiom,
    ? [Z_109_A_HISTORY_OF_GREECE_1,R_109_1_THE_CENTURY,R_109_2_TWENTIETH] :
      ( twentieth(R_109_2_TWENTIETH)
      & z_109_a_history_of_greece_1(Z_109_A_HISTORY_OF_GREECE_1)
      & nim2(Z_109_A_HISTORY_OF_GREECE_1,R_109_1_THE_CENTURY)
      & the_Century(R_109_1_THE_CENTURY)
      & attrib5(R_109_1_THE_CENTURY,R_109_2_TWENTIETH) ) ).


n109_a_history_of_greece n109_a_history_of_greece__1_1_1_1 The n109_a_history_of_greece__1_1_2_1_1 Twentieth n109_a_history_of_greece__1_1_3_1 Century n109_a_history_of_greece__1 FRAG n109_a_history_of_greece__1_1 NP n109_a_history_of_greece__1->n109_a_history_of_greece__1_1 n109_a_history_of_greece__1_1_1 D n109_a_history_of_greece__1_1->n109_a_history_of_greece__1_1_1 n109_a_history_of_greece__1_1_2 ADJP n109_a_history_of_greece__1_1->n109_a_history_of_greece__1_1_2 n109_a_history_of_greece__1_1_3 N n109_a_history_of_greece__1_1->n109_a_history_of_greece__1_1_3 n109_a_history_of_greece__1_1_1->n109_a_history_of_greece__1_1_1_1 n109_a_history_of_greece__1_1_2_1 ADJ n109_a_history_of_greece__1_1_2->n109_a_history_of_greece__1_1_2_1 n109_a_history_of_greece__1_1_2_1->n109_a_history_of_greece__1_1_2_1_1 n109_a_history_of_greece__1_1_3->n109_a_history_of_greece__1_1_3_1 
( (FRAG (NP (D The;{the})
            (ADJP (ADJ Twentieth;{twentieth}))
            (N Century;{century})))
  (ID 109_a_history_of_greece))