类型:assum