Exchanging:
implication: sea_turtle → marine_turtle
↓alias: sea_turtle → marine_turtle
Reason:
Synonyms. Despite of "sea_turtle" be the most ususual term, "marine_turtle" currently implies "turtle".
Related implications:
marine_turtle → marine.¹
¹ Like the pinnipeds (which currently imply "marine"), marine turtles are able to walk on land, but are most closely connected with the ocean.
Edit:
After a brief discussion has been decided that the following suggestions would be more appropriate:
Exchanging:
implication: sea_turtle → marine_turtle
↓
alias: marine_turtle → sea_turtle
Resulting changes:
Implication: marine_turtle → turtle
↓
Implication: sea_turtle → turtle
Implicating:
- sea_turtle → marine.¹
Updated