bird { flies :- #true. } penguin : bird { -flies :- #true. } tweety : penguin { }