Implicating alligator → crocodilian
Link to implication
Reason:
Also crocodile -> crocodilian, caiman -> crocodilian, and crocodilian -> reptile.
Why? Because for search purposes it'd make sense to have them grouped together: they look similar enough. See ~crocodile ~alligator ~caiman. The current implications are to reptile, which feels too broad.
This would also mean that we have we have some way to tag the crocodilians that are ambiguous: it's often hard to tell the difference between an alligator and a crocodile.
Updated by user 59725