"Marilyn Lenat" . . "Marilyn Lenat" . . .