. . . "3"^^ . "2"^^ . . . . . . "symbolic reasoning"@en .