BUR #8254 has been rejected.
create implication animal_hug -> hug
create implication doll_hug -> doll
These seem logical to me.
I'm not asking for "doll_hug > hug" because this is not always considered "hugging" (but could still be implemented), for animals though, it is almost always called hugging.