"hans" . . "moravec" . "hans moravec" .