parid2143 | Mon, 24 Feb 2003 12:47:01
A c-node serves as one of the endpoints of one AC and one CR arc. It may or may not serve as the C endpoint of a Cx arc. Like all nodes, it may serve as the x endpoint of of any number of Cx arcs. It cannot serve as any other endpoint types.
Behavior: Serves as the C endpoing of AC, CR and Cx arcs. May serve as x endpoint of any Cx arcs.
Simplified explanation. The "may or may not serve as C endpoint..."
and "one of the endpoints of one AC and one CR arc" are comments on the
structure of an assertion. Not relevant to definition of behavior of
c-node, is relevant to defining structure of an assertion. "It cannot
serve as any other endpoint types." is superfluous. The definition says
what arcs it can serve as an endpoint and the point should not be belabored.