For example, if the TM Application defines an assertion type for the purpose of expressing set memberships, in which one role is played by the node whose subject is the set, and the other role is played by a node whose subject is a member of the set, then the value of the corresponding property of the node can be a node set which is the set of all the nodes whose subjects are members of the set.

Belongs in TM Application section (parid0269)