[SubPro-IRT] Changing the definition of trademark licensee in Spec 13