. . . "aida"@ast .