ค้นหาจำนวนนักเรียนที่มีรหัสเมืองคือ NYC และผู้ที่มีคะแนนเสียงของสมาชิกวุฒิสภาในรอบการเลือกตั้งฤดูใบไม้ผลิ
Find the number of students whose city code is NYC and who have class senator votes in the spring election cycle.
student_df = pd.DataFrame(columns=['StuID', 'city_code']); voting_record_df = pd.DataFrame(columns=['Election_Cycle', 'Class_Senator_Vote'])
student_df[(student_df['StuID'].isin(voting_record_df[voting_record_df['Election_Cycle'] == 'Spring']['Class_Senator_Vote'])) & (student_df['city_code'] == 'NYC')].shape[0]