:-eval(consult('./ContractLog/ec.prova')).
:-eval(consult('./ContractLog/datetime.prova')).
:-eval(consult('./ContractLog/timeinterval.prova')).
happens(normal,datetime(2006,3,1,0,0,0)).
happens(normal2,datetime(2006,3,1,0,0,0)).
happens(serverGeht(http://localhost2),datetime(2006,3,1,0,0,0)).
happens(serverAusfall(http://localhost2),datetime(2006,3,18,14,34,39)).
initiates(normal,normalTime,datetime(2006,3,1,0,0,0)).
initiates(serverGeht(http://localhost2),http://localhost2,datetime(2006,3,1,0,0,0)).
terminates(serverAusfall(http://localhost2),http://localhost2,datetime(2006,3,18,14,34,39)).
valueAt(escalationLevel(http://localhost2),datetime(2006,3,1,0,0,0),0).
valueAt(escalationLevel(http://localhost2),datetime(2006,3,18,14,34,39),1).
