% A very simple version of the Blocks World

include "../library-ontology"
include "../library"

numeric_symbol MaxBlocks = 3

module BW_SIMPLE;

  objects
    Table : Supporter;
    B(1..MaxBlocks): Thing;

  import TOWER;

  import NOCONCURRENCY;

  axioms
    Wide(Table);
