Question: How much does the gross domestic products goes to the industry sector for Singapore?
SQL: SELECT T2.GDP * T2.Industry FROM country AS T1 INNER JOIN economy AS T2 ON T1.Code = T2.Country WHERE T1.Name = 'Singapore'