. . "Cardoso’s lexical entry for 'Astralis'" . . .