The bulk update request #6 has been approved by @iamtakingiteasy.
create implication holding_cat -> cat
create implication holding_cat -> holding_animal
create implication holding_cat -> holding
create implication holding_animal -> holding
create implication holding_animal -> animal
subset