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