Context                Previous, Next                Top


40_a_history_of_greece
The Persian Wars

n40_a_history_of_greece n40_a_history_of_greece__1_1_1 The n40_a_history_of_greece__1_2_1_1 Persian n40_a_history_of_greece__1_3_1 Wars n40_a_history_of_greece__1 NP n40_a_history_of_greece__1_1 D n40_a_history_of_greece__1->n40_a_history_of_greece__1_1 n40_a_history_of_greece__1_2 ADJP n40_a_history_of_greece__1->n40_a_history_of_greece__1_2 n40_a_history_of_greece__1_3 NS n40_a_history_of_greece__1->n40_a_history_of_greece__1_3 n40_a_history_of_greece__1_1->n40_a_history_of_greece__1_1_1 n40_a_history_of_greece__1_2_1 ADJ n40_a_history_of_greece__1_2->n40_a_history_of_greece__1_2_1 n40_a_history_of_greece__1_2_1->n40_a_history_of_greece__1_2_1_1 n40_a_history_of_greece__1_3->n40_a_history_of_greece__1_3_1 
( (NP (D The;{the})
      (ADJP (ADJ Persian;{persian}))
      (NS Wars;{war}))
  (ID 40_a_history_of_greece))


%3 z_0040_5005 r_0040_0001__The_r_0040_0003__Wars The Wars z_0040_5005->r_0040_0001__The_r_0040_0003__Wars r_0040_0002__Persian Persian r_0040_0001__The_r_0040_0003__Wars->r_0040_0002__Persian [attrib] 
arc(r_0040_0001__The_r_0040_0003__Wars,r_0040_0002__Persian,attrib).
arc(z_0040_5005,r_0040_0001__The_r_0040_0003__Wars,z_0040_5002).


%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_0040_5005 z_0040_5005->r_0040_0001__The_r_0040_0003__Wars 
fof(formula,axiom,
    ? [R_0040_0002__PERSIAN,R_0040_0001__THE_R_0040_0003__WARS,Z_0040_5005] :
      ( r_0040_0002__Persian(R_0040_0002__PERSIAN)
      & z_0040_5005(Z_0040_5005)
      & has_z_0040_5002(Z_0040_5005,R_0040_0001__THE_R_0040_0003__WARS)
      & r_0040_0001__The_r_0040_0003__Wars(R_0040_0001__THE_R_0040_0003__WARS)
      & has_attrib(R_0040_0001__THE_R_0040_0003__WARS,R_0040_0002__PERSIAN) ) ).