out of all the us vice presidents, who is number 15?
(AND government.us_vice_president (JOIN government.us_vice_president.vice_president_number 15^^http://www.w3.org/2001/XMLSchema#integer))