En este cas, ocorre el mateix que t'he comentat abans. La toponímia oficial cataloga el túnel com a "Túnel de Sant Antoni" (sense perjudici d'afegir l'etiqueta name:es) > https://visor.gva.es/visor/?extension=713699,4256924,715119,4257580&nivelZoom=17&capasids=Topografico;,0103_NTV;&tcapas=1.0,1.0. D'altra banda, els túnels se solen nombrar utilitzant l'etiqueta bridge:name=*. Així, l'etiqueta "name" manté el nom de l'Autopista i la denominació de la carretera es manté coherent al llarg de la mateixa.

Salutacions.