Find the number of students whose city code is NYC and who have class senator votes in the spring election cycle.
create table student (stuid varchar, city_code varchar, PRIMARY KEY (stuid)); create table voting_record (election_cycle varchar, PRIMARY KEY (election_cycle))
select count(*) from student as t1 join voting_record as t2 on t1.stuid = class_senator_vote where t1.city_code = "nyc" and t2.election_cycle = "spring"