Context                Previous, Next                Top


40_a_history_of_greece
The Persian Wars

%3 r_0040_0001__The_r_0040_0003__Wars The Wars r_0040_0002__Persian Persian r_0040_0001__The_r_0040_0003__Wars->r_0040_0002__Persian [attrib] z_000_40_a_history_of_greece_1 z_000_40_a_history_of_greece_1->r_0040_0001__The_r_0040_0003__Wars [nim] 
arc(r_0040_0001__The_r_0040_0003__Wars, r_0040_0002__Persian, attrib5).
arc(z_000_40_a_history_of_greece_1, r_0040_0001__The_r_0040_0003__Wars, nim2).


%3 z_000_40_a_history_of_greece_1 r_0040_0001__The_r_0040_0003__Wars The Wars z_000_40_a_history_of_greece_1->r_0040_0001__The_r_0040_0003__Wars [nim] r_0040_0002__Persian Persian r_0040_0001__The_r_0040_0003__Wars->r_0040_0002__Persian [attrib] 
fof(formula,axiom,
    ? [Z_40_A_HISTORY_OF_GREECE_1,R_40_1_THE_WARS,R_40_2_PERSIAN] :
      ( persian(R_40_2_PERSIAN)
      & z_40_a_history_of_greece_1(Z_40_A_HISTORY_OF_GREECE_1)
      & nim2(Z_40_A_HISTORY_OF_GREECE_1,R_40_1_THE_WARS)
      & the_Wars(R_40_1_THE_WARS)
      & attrib5(R_40_1_THE_WARS,R_40_2_PERSIAN) ) ).


n40_a_history_of_greece n40_a_history_of_greece__1_1_1_1 The n40_a_history_of_greece__1_1_2_1_1 Persian n40_a_history_of_greece__1_1_3_1 Wars n40_a_history_of_greece__1 FRAG n40_a_history_of_greece__1_1 NP n40_a_history_of_greece__1->n40_a_history_of_greece__1_1 n40_a_history_of_greece__1_1_1 D n40_a_history_of_greece__1_1->n40_a_history_of_greece__1_1_1 n40_a_history_of_greece__1_1_2 ADJP n40_a_history_of_greece__1_1->n40_a_history_of_greece__1_1_2 n40_a_history_of_greece__1_1_3 NS n40_a_history_of_greece__1_1->n40_a_history_of_greece__1_1_3 n40_a_history_of_greece__1_1_1->n40_a_history_of_greece__1_1_1_1 n40_a_history_of_greece__1_1_2_1 ADJ n40_a_history_of_greece__1_1_2->n40_a_history_of_greece__1_1_2_1 n40_a_history_of_greece__1_1_2_1->n40_a_history_of_greece__1_1_2_1_1 n40_a_history_of_greece__1_1_3->n40_a_history_of_greece__1_1_3_1 
( (FRAG (NP (D The;{the})
            (ADJP (ADJ Persian;{persian}))
            (NS Wars;{war})))
  (ID 40_a_history_of_greece))