/******************************************************************/
/* AN EXAMPLE TAXONOMY                                            */
/******************************************************************/
 
son(mono,color).
son(poly,color).
son(red,mono).
son(blue,mono).
son(white,mono).
son(black,mono).
son(orange,poly).
son(pink,poly).
 
son(polygon,shape).
son(oval,shape).
son(3-sided,polygon).
son(4-sided,polygon).
son(triangle,3-sided).
son(rectangle,4-sided).
son(square,4-sided).
son(trapezoid,4-sided).
son(circle,oval).
son(ellipse,oval).