"learning language in logic" . "learning language in logic" . . .