Question: How many tweets did Iron man tweet?
SQL: SELECT  count ( * )  FROM user_profiles AS T1 JOIN tweets AS T2 ON T1.uid   =   T2.uid and T1.name  =  'Iron Man'