% anomaly example for bw.lp

block(a).
block(b).
block(c).


on(a,b,0).
on(b,table,0).
on(c,table,0).

goal(T) :- time(T), 
	on(b,c,T),
	on(c,a,T).



