who is the 15nd president of the us?
(AND government.us_president (JOIN government.us_president.presidency_number 15^^http://www.w3.org/2001/XMLSchema#integer))