Conversation so far:
who is the starting quarterback for kansas city chiefs
Patrick Lavon Mahomes II is an American football quarterback for the Kansas City Chiefs.
where and when was Patrick Mahomes born
Patrick Mahomes was born in Tyler, Texas on September 17, 1995.
who were Patrick Mahomes' parents
Patrick Mahomes was born to parents Pat Mahomes, then an MLB pitcher, and Randi Mahomes.
when did Patrick Mahomes start playing football
Patrick Mahomes attended Whitehouse High School in Whitehouse, Texas. He played football, baseball, and basketball.

Question: did he play football in college
Self-contained rewrite: did Patrick Mahomes play football in college