|
parid0928
| 28 Nov 2002 12:55:31
You've raised an important question, and it won't go away until we decide what to do about it: what will be the fate of the "extent of validity" semantic? [SH: is "extent of validity" a "situation feature"?]
parid0928
| Wed, 12 Feb 2003 11:42:35
is "extent of validity" a "situation feature"?
parid0928
| Tue, 25 Feb 2003 17:04:28
Except for the restrictions on the subjects of nodes that have
special functions within assertion subgraphs (see [parid0185] 3.6.2.2),
TM Applications are free to define "situation features" (features of the
situations of nodes) and how those features, when they occur, affect the
values of the properties of the nodes whose situations include those
situation features. The values of all properties can be affected by such
situation features, including both Subject Identity Discriminating
Propertes (SIDPs) and Other Properties (OPs), in accordance with the
specifications provided in the definition of the TM Application that
defines the properties and the situation features (see [parid0253]
4.7.2.2).
Except for the subjects of a-nodes and r-nodes in an assertion, TM
Applications may define "situation features" that affect any property
(SIDP or OP) of a node in that situation.
Since the subjects that cannot be changed are known, simpler just to state them. Likewise, if it is "any property" that can be affected by a situation feature, just state that as well. |