% Pednault's Briefcase example
% from
% Edwin Pednault. Synthesizing plans that contain actions with
% context-dependent effects. Computational Intelligence, 4(4):356-372, 1988.

include "briefcase"

module BRIEFCASE_TIME;

  import BRIEFCASE;

  import TIME;

  axioms

    % If we include this, then the final Time value will
    % be increased more as a result of the action
    % Duration(PutIn(Dictionary))=3;

    nonexecutable MoveB(Office) if Time<4;
