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