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