在判断“知更鸟是鸟”这个命题时，集合理论模型认为，人们会将“知更鸟”和“鸟”的信息集合进行比较，集合属性的（）构成了对命题正确性作出判断的基础。