#const maxtime=3.

% D1
fluent(dieFaceShowing).
action(rollDie).

% D2, D3
possVal(dieFaceShowing, 1..6).

% D4
causesValue(rollDie, dieFaceShowing, V, T) :- 
	time(T),
	possVal(dieFaceShowing, V).

% D5
valueOf(dieFaceShowing, 0, 2).

% D6
happens(rollDie, 1).

#hide.
#show valueOf/3.
#show happens/2.