there are 12 seasons in what tv program?
(AND tv.tv_program (JOIN tv.tv_program.number_of_seasons 12^^http://www.w3.org/2001/XMLSchema#integer))