Polyhedral outer approximations with application to natural language parsing | Synapse