[Attempto] @anaphoric reference

[Norbert E. Fuchs]

On 2 Jul 2009, at 11:41, Alex Shkotin wrote:

> ... and anyway "Socrat is a man." is a classical form of  
> introduction to compare with "There is a man Socrat."
>
> Well, the first is ACE while the second is not.
>
> interesting:-)
>
> why proper name can't stay in this position?

Previous versions of ACE allowed proper names in apposition to common  
nouns, but that led to problems as, for instance

A woman John sleeps.

> and why "Variable names consist of a single upper case letter"?

One reason is to distinguish them from proper names. By the way,  
variable names consist of a single upper case letter, optionally  
followed by an integer.

Regards.

    --- nef