BUR #44826 has been approved by @nonamethanks.
create implication cat_slippers -> animal_slippers
create implication bear_slippers -> animal_slippers
create implication dog_slippers -> animal_slippers
create implication panda_slippers -> animal_slippers
create implication sheep_slippers -> animal_slippers
create implication duck_slippers -> animal_slippers
create implication shark_slippers -> animal_slippers
Animal-related slippers that should imply it.