void showRectangle(Rectangle r) {
		std::cout << "Rectangle(" << r.getWidth() << "," << r.getHeight() << ")" << std::endl;
	}

	void showSquare(Square s) {
		std::cout << "Square(" << s.getWidth() << ")" << std::endl;
	}
}

                таблица названий аксиом


            setWidth    setHeight  .  Rectangle
getWidth    gw_sw       gw_sh      .  gw_r
getHeight   gh_sw       gh_sh      .  gh_r
....................................         
getSpace    gs_sw       gs_sh         gs_r
                                    

            setWidth    setHeight  .  Rectangle
getWidth    gw_sw       gw_sh      .  gw_r
getHeight   gh_sw       gh_sh      .  gh_r
....................................         
getSpace                        

scheme Rectangle =  class
    type                        
      Figure
     ,UReal  =  {| r: Real :- r >  0 . 0  |}  
    value
      setWidth  : Figure >< UReal -> Figure   
     ,setHeight : Figure >< UReal -> Figure   
     ,getWidth  : Figure          -> UReal      
     ,getHeight : Figure          -> UReal      
    axiom
      [gw_sw]          
        all w: UReal, f: Figure:- getWidth(setWidth(f, w)) = w
     ,[gw_sh]
        all h: UReal, f: Figure:- getWidth(setHeight(f, h)) = getWidth(f)
     ,[gh_sh]          
        all h: UReal, f: Figure:- getHeight(setHeight(f, h)) = h
     ,[gh_sw]
        all w: UReal, f: Figure:- getHeight(setWidth(f, w)) = getHeight(f)
  end

/*
                таблица названий аксиом


            setWidth    setHeight  .  Rectangle
getWidth    gw_sw       gw_sh      .  gw_r
getHeight   gh_sw       gh_sh      .  gh_r
....................................         
getSpace                        

*/

Rectangle

scheme ZBRectangle = extend  Rectangle with class
    value
      getSpace  : Figure          -> UReal  
     ,Rectangle : UReal >< UReal  -> Figure

    axiom
      [gw_r ]
        all w:UReal, h:UReal :-  getWidth(Rectangle(w,h)) = w
     ,[gh_r ]
        all w:UReal, h:UReal :-  getHeight(Rectangle(w,h)) = h
     ,[gspace ]          
        all f:Figure         :-  getSpace(f) = getHeight(f)*getWidth(f)

  end

ZBRectangle

scheme ZBSquare =  extend  ZBRectangle with class
    value
      Square    : UReal           -> Figure   
     ,setSide   : Figure >< UReal -> Figure   
    axiom
      [square]          
        all side: UReal             :- Square(side)           = Rectangle(side, side)
     ,[setSide]
        all newSide: UReal, f:Figure:- setSide(f, newSide) = Square(newSide)
  end

Rectangle * f (Rectangle * r)
{
   r->setWidth( 32 );
   return r;
}

schema ZBSUsage  = class
 value
    f : Figure -> Figure   
    f( f)             is setWidth(r, 32 )

   ,isSquare : Figure -> Bool
/*  isSquare ((w,h))       is  if w           = h               then true else false end */

    isSquare (f)          is  if getWidth(f) = getHeight(f)  then true else false end


   ,squareAfterF: Figure -> Bool
    squareAfterF (fi)               is  isSquare(f(fi))

end

/*
         newRebenok : X-> Rebenok;
         rebenokMetod: Rebenok >< Z -> Rebenok;
         roditelMetod : Roditel >< Y -> Roditel;
 
*/
   rebenokMetod(roditelMetod(newRebenok(x),y), z);