[sc34wg3] Tau: The role in operator

Lars Marius Garshol sc34wg3@isotopicmaps.org
Sun, 01 Aug 2004 08:58:31 -0400


* 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.

That makes sense. Thanks for clearing this up.

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