How many points for the navy team that lost over 11?
CREATE TABLE table_name_4 (points INTEGER, team VARCHAR, lost VARCHAR)
SELECT SUM(points) FROM table_name_4 WHERE team = "navy" AND lost > 11
### Context: CREATE TABLE table_name_4 (points INTEGER, team VARCHAR, lost VARCHAR) ### Question: How many points for the navy team that lost over 11? ### Answer: SELECT SUM(points) FROM table_name_4 WHERE team = "navy" AND lost > 11