//This file was generated from (Academic) UPPAAL 4.0.7 (rev. 4140), November 2008

/*

*/
E<> Wolf.Daar && Geit.Daar && Kool.Daar && Veerman.Daar