who was the number 18 vice president?
(AND government.us_vice_president (JOIN government.us_vice_president.vice_president_number 18^^http://www.w3.org/2001/XMLSchema#integer))