"abstraction(f.)"@fr . "3"^^ . . . . . . . .