Implicating Seal → pinniped
Link to implication

Reason:

Category. It's on group tag:species, but the implication isn't in place.

Also counts for these implications so the tree is complete:

• sea_lion → seal
• walrus → pinniped
• pinniped → marine
• pinniped → mammal

I've made the following changes:

• Implication: sea_lion -> pinniped (approved)
• Implication: walrus -> pinniped (approved)
• Implication: seal -> pinniped (approved)
• Implication: pinniped -> marine (approved)
• Implication: pinniped -> mammal (approved)

I really should have brought this up a while ago. I noticed these implications were missing maybe a year ago and then forgot. I'm a bad person.

Thank you Circeus, for not being lazy and forgetful like me. Seriously, kudos on this from me.