All of the assertions must be validated for conformance to the definitions of their assertion types specified by their governing TM Applications. (See parid0344 5.2.5.)

isn't this a repetition of conforming to the definition of an
assertion? see parid0476