parid0287 | Sat, 22 Feb 2003 14:33:21
The purpose of these property values is to enable arc traversals within assertions
If the graph is an "abstract data structure" (parid0005) I'm not sure where traversals are "enabled." Is it meant that the RM is an "enabling technology" and opposed to an "encompassing" technology? Probably not.