“有些中年人是罪犯”这一判断的逻辑形式是（），其中，常项是（），变项是（）。