An author's pseudonym [Webster]. An author may use several pseudonyms. Which name is a function of the document. The penname of an author cannot be his or her real name [denoted by the function agent.name]; it must be some made-up name.
(=> (Penname ?Author ?Name) (Not (Agent.Name ?Author ?Name)))