"3"^^ . . . . . . . . "bidirectional categorical grammar"@en .