[Attempto] if - then sentences with Ace View

[Norbert E. Fuchs]

On 9 Mar 2010, at 20:26, Jean-Marc Vanel wrote:

> Not without trials and errors, I wrote this ACE sentence that
> represents a rule that a site like FaceBook might use for friend
> proposals:
> 
> If the current-user C knows a person X and a person Y		
> and X is different from Y
> and X knows Z
> and Y knows Z
> and Z is different from C
> then Z is a friend-proposal for C .
> ...

> I give up for now, and I 'll read Kaarel's thesis .

I would write

If a current-user C knows a person X 
and knows a person Y
and X differs-from Y
and X knows a person Z
and Y knows Z
and Z differs-from C
then Z is a friend-proposal of C .

   --- nef