the 32nd us president was whom?
(AND government.us_president (JOIN government.us_president.presidency_number 32^^http://www.w3.org/2001/XMLSchema#integer))