[Attempto] Assign unique variables problem

[Norbert E. Fuchs]

On 27 Sep 2012, at 22:40 , Norbert E. Fuchs <fuchs at ifi.uzh.ch> wrote:

> As Kaarel wrote, "two fields F1 and F2" in English is understood as (field F1 and field F2), while in ACE it is understood as (two fields F1 and F2). Recall that a variable always refers to the immediately preceding noun phrase.

Amending the last sentence:

In ACE a variable refers to the immediately preceding noun phrase – if there is one as in "two fields F1" – or is a bare variable – if there is no preceding noun phrase as in "F2". Bare variables like "F2" are interpreted as "something F2".

Thus Pierre-Alexandre's "two fields F1 and F2" is interpreted as "(two fields F1) and (something F2)".

   --- nef