% file: source-lang
% desc: a simple language of geometric shapes

% -----------------------------------------------------------
% SYNTAX
% -----------------------------------------------------------
% allowable sentences (source language)

%    pick up the Color block
%    pick up the Color pyramid
%    pick up the Color cone
%    pick up the Color frustum

%    which could be simplified to:
%    pick up the Color Shape

% more allowable sentences

%    put down the Color Shape
%    how many surfaces are on the Color Shape

% where Color is one of the colors in the "dictionary"
% where Shape is one of block, pyramid, cone, frustum

% -----------------------------------------------------------
% to be simplified to (intermediate language)

%    pick Color Shape
%    put Color Shape
%    what number surfaces Color Shape

% -----------------------------------------------------------
% SEMANTICS
% -----------------------------------------------------------

% pick Color Shape
%    can only be done if the computer's "hands" are empty

% put Color Shape
%    can only be done if the computer is holding that object

% what number surfaces Color Shape
%    can only be answered if the computer is holding that object