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