4has_wings(X):- bird(X).
    5has_beak(X):- bird(X).
    6bird(X):- vulture(X).
    7carnivore(X):- vulture(X).
    8
    9ex(has_wings(tweety),+).
   10ex(has_beak(tweety),+)