All TM Applications are required to define subject identity discrimination properties (SIDPs) for a-nodes and c-nodes, and rules for conferring values upon them, such that all a-nodes and c-nodes will exhibit values for those properties that will support the merging of assertions in conformance with the assertion merging rules specified in parid0374 5.2.8.2.

Isn't this several rules in one? Rule 1) a-node and c-node
equivalents in the TM Application must have defined SIDPs; Rule 2) rules
for conferrring values SIDPs of a-nodes and c-nodes; Rule 3) rules #1
and #2 must support assertion merging rules. Drop the "TM Applications
required to define..." We are already requiring, restating does not add
anything.