Da die "Formel" (ich befürchte angesichts des Nicknames nun Schwierigkeiten bei den Umsetzungsmöglichkeiten) andere Masken und "Feld"namen (als wenn Felder hier eine Rolle spielen würden) als Ziele einsetzen möchte (was völlig legitim ist), ist NotesDocument.CopyToDatabase wohl eher mit nachträglichem Mehraufwand verbunden ("umschiessen" von Items).
Was hier einsetzbar ist, ist
NotesItem.CopyItemToDocument (NotesDocument, NewName$)
Also Item für Item, insofern gewünscht, und dabei dann auch den gewünschten Namen im Target einsetzen.
Bevor hier eine Frage in dieser Hinsicht kommt: Nein, das geht nicht mit der Notes-Formelsprache.