include "../bw/bw"

sorts
  Color;

module BW_PAINTING;

  import BLOCKS_WORLD;

  objects
    red, white, blue: Color;

  actions
    Paint(Block, Color);

  fluents
    PaintColor(Block): simple(Color);

  variables
    b, b1: Block;
    c: Color;

  axioms

    inertial PaintColor(b);

    exogenous Paint(b,c);
    Paint(b, c) causes PaintColor(b)=c;
    nonexecutable Paint(b,c) if -Support(b)=Robot;
