//This file was generated from (Academic) UPPAAL 4.0.13 (rev. 4577), September 2010 /* */ E<> forall (a : girls) forall (b : girls) (knows[a][b] == 1)