ANIMAL(tweety) & -abA(tweety) > FLY(tweety);
HAS_WINGS(tweety) > abA(tweety);
BIRD(tweety) > ANIMAL(tweety);
BIRD(tweety) & -abB(tweety) > HAS_WINGS(tweety);
HAS_WINGS(tweety) > FLY(tweety);
:-abA(tweety)/-abA(tweety);
:-abB(tweety)/-abB(tweety);
$