% Sussman Anomaly:

block(b0).
block(b1).
block(b2).

% initial conditions and goal

compute 1 {
on(b1, table,0), on(b2, b0,0), on(b0, table, 0),
on(b1, b0,lasttime), on(b2, b1, lasttime),on(b0,table,lasttime)}.




