Assertion: dolphin's number | /r/UsedFor | refer to dorado
Facets:
Source sentences:
text: A number of other names also refer to mahi mahi, including dorado, lampuga, rakingo, calitos, ti-rone and maverikos.