SELECT avg(T1.height) FROM player AS T1 JOIN player_college AS T2 ON T1.player_id  =  T2.player_id JOIN college AS T3 ON T3.college_id  =  T2.college_id WHERE T3.name_full  =  'Yale University';
What is the average height of the players from the college named 'Yale University'?
SELECT avg ( T1.height ) FROM player AS T1 JOIN player_college AS T2 ON T1.player_id = T2.player_id JOIN college AS T3 ON T3.college_id = T2.college_id WHERE T3.name_full = 'Yale University ' ;
select avg ( t1 . height ) from player as t1 join player_college as t2 on t1 . player_id = t2 . player_id join college as t3 on t3 . college_id = t2 . college_id where t3 . name_full = value
What is the average height of the players from the college named 'Yale University ' ?