bird(tux).     penguin(tux).
bird(tweety).  chicken(tweety).