Please list the official full names of all the current legislators who have served in the U.S. House.
have served in the U.S. House refers to house_history_id is not null;
SELECT official_full_name FROM current WHERE house_history_id IS NOT NULL