property set User_Defined_Cheddar_Properties is

	task_partition : aadlinteger
		applies to (thread, thread group);

end User_Defined_Cheddar_Properties;