[sc34wg3] Tau: The role in operator

[Lars Marius Garshol]

* Robert Barta
| 
| This is clearly a typo. It should read
| 
|   p -> r = {a element-of m | exists p : <r, p> element-of a}
| 
| It basically delivers ALL assertions in the map where p is a player
| of the role r.

I was a bit too quick in my first reply. In

  p -> r = {a element-of m | exists p : <r, p> element-of a}

is the p before the -> the same as the p in the set? If so, why is
there an exists there? If you did

  p -> r = {a element-of m | <r, p> element-of a}

I would understand.

-- 
Lars Marius Garshol, Ontopian         <URL: http://www.ontopia.net >
GSM: +47 98 21 55 50                  <URL: http://www.garshol.priv.no >